From fec5bec0b5f0e114a635c99a731e922ce735ff81 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Wed, 31 May 2000 11:36:21 +0000
Subject: [PATCH] Make documentation targets available from the top-level
 makefile as well, but not with separate object tree yet.

---
 tools/Makefile-top.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in
index 855c2749..ed80c77e 100644
--- a/tools/Makefile-top.in
+++ b/tools/Makefile-top.in
@@ -3,9 +3,12 @@
 
 objdir=@objdir@
 
-all depend tags docs userdocs progdocs install:
+all depend tags install:
 	$(MAKE) -C $(objdir) $@
 
+docs userdocs progdocs:
+	$(MAKE) -C doc $@
+
 clean:
 	$(MAKE) -C $(objdir) clean
 	find . -name "*~" -or -name "*.[oa]" -or -name "\#*\#" -or -name TAGS -or -name core -or -name depend -or -name ".#*" | xargs rm -f