docs infrastructure notes

diff --git a/doc/doc-docbook/Makefile b/doc/doc-docbook/Makefile
index 97f30f1e1ae92f90ecf6049f7acb5f03942a8795..bc7a9b0ae73e98e8df68e0934c5119a5b78833c2 100644 (file)
--- a/doc/doc-docbook/Makefile
+++ b/doc/doc-docbook/Makefile
@@ -3,10 +3,12 @@
 export LC_ALL=C
 
 notarget:;    @echo "** You must specify a target, in the form x.y, where x is 'filter', 'spec',"
 export LC_ALL=C
 
 notarget:;    @echo "** You must specify a target, in the form x.y, where x is 'filter', 'spec',"

-             @echo "** or 'test', and y is 'xml', 'fo', 'ps', 'pdf', 'html', 'txt', or 'info'."
+             @echo "** or 'test', and y is 'xml', 'fo', 'ps', 'pdf', 'txt', or 'info'."

              @echo "** One other possible targets 'exim.8', 'spec.utf8'".
              exit 1
 
              @echo "** One other possible targets 'exim.8', 'spec.utf8'".
              exit 1
 

+# html used to be supported, but is not here since 50023e0551 (2010).
+# The website build script seems to handle it.

 
 ############################# EVERYTHING ###############################
 #
 
 ############################# EVERYTHING ###############################
 #