From fcc95f4c1c42c98fedcd643c4174594deaf08e6e Mon Sep 17 00:00:00 2001
From: Oliver Schmidt <ol.sc@web.de>
Date: Mon, 3 Mar 2014 21:16:30 +0100
Subject: [PATCH] There seems to be no desire for a doc install.

---
 doc/Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 189fa60ee..8c2bb902c 100644
--- 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
 
-- 
2.39.5