From cb202941d94c6bd463027874d55084fa7c4c8dec Mon Sep 17 00:00:00 2001
From: Joel Sherrill <joel.sherrill@OARcorp.com>
Date: Fri, 14 May 1999 15:19:39 +0000
Subject: Added tool hints.

---
 doc/FAQ/Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'doc/FAQ/Makefile')

diff --git a/doc/FAQ/Makefile b/doc/FAQ/Makefile
index fd35ca8033..acd47d5f6f 100644
--- a/doc/FAQ/Makefile
+++ b/doc/FAQ/Makefile
@@ -19,7 +19,7 @@ dirs:
 COMMON_FILES=../common/cpright.texi ../common/setup.texi
 
 GENERATED_FILES= \
-    basic.texi debug.texi
+    basic.texi tools.texi debug.texi
 
 FILES=$(PROJECT).texi $(GENERATED_FILES)
 
@@ -65,6 +65,11 @@ basic.texi: basic.t Makefile
 	    -u "Top" \
 	    -n "" ${*}.t
 
+tools.texi: tools.t Makefile
+	$(BMENU) -c -p "Top" \
+	    -u "Top" \
+	    -n "" ${*}.t
+
 debug.texi: debug.t Makefile
 	$(BMENU) -c -p "" \
 	    -u "Top" \
-- 
cgit v1.2.3