diff options
Diffstat (limited to 'doc/FAQ/Makefile')
-rw-r--r-- | doc/FAQ/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
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" \ |