docs: clarify Makefile is generated

pajod · Jul 31, 2024 · 7c3e9c9 · 7c3e9c9
1 parent 2669016
commit 7c3e9c9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -1,5 +1,7 @@
 # Makefile for Sphinx documentation
 #
+# if you want to compare this file to current sphinx defaults, recreate it:
+# BUILDDIR=build sphinx-quickstart --sep --extensions=gunicorn_ext --templatedir=_templates --makefile --batchfile --no-use-make-mode --master=index
 
 # You can set these variables from the command line.
 PYTHON        = python