[#777,!464] Comment added to Makefile.am

diff --git a/doc/sphinx/Makefile.am b/doc/sphinx/Makefile.am
index 3b3ff5153ae0900aae44ff5c94fcf6dcabb82d84..ff83226d8d2fcba6d1373502056b702163610b3d 100644 (file)
--- a/doc/sphinx/Makefile.am
+++ b/doc/sphinx/Makefile.am
@@ -263,6 +263,9 @@ pdf: $(main_sources)
 html: $(main_sources)
        $(SPHINXBUILD) -M html $(srcdir) $(sphinxbuilddir) $(sphinxopts)
 
+# This target is not used anywhere, but people who prefer single page docs
+# can do make -C doc/sphinx singlehtml and then enjoy their docs being
+# generated in doc/sphinx/_build/singlehtml
 singlehtml: $(main_sources)
        $(SPHINXBUILD) -M singlehtml $(srcdir) $(sphinxbuilddir) $(sphinxopts)