There seems to be no desire for a doc install.

diff --git a/doc/Makefile b/doc/Makefile
index 189fa60ee8b54fc14d9d4c8c33b5bba1789e4564..8c2bb902cf1c0c65cf337b81a0d43cbf5e70d2cb 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -13,7 +13,7 @@ TOC_LEVEL = 2
 
 GH_PAGES = ../../gh-pages
 
-all:
+all mostlyclean install:
 
 doc: html info
 
@@ -21,8 +21,6 @@ html: $(addprefix ../html/,$(SGMLS:.sgml=.html) doc.css doc.png)
 
 info: $(addprefix ../info/,$(SGMLS:.sgml=.info))
 
-mostlyclean:
-
 clean:
        $(RM) -r ../html ../info