diff options
Diffstat (limited to 'doc/FAQ/Makefile')
-rw-r--r-- | doc/FAQ/Makefile | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/doc/FAQ/Makefile b/doc/FAQ/Makefile index d1a77af9b5..e3b224f771 100644 --- a/doc/FAQ/Makefile +++ b/doc/FAQ/Makefile @@ -18,7 +18,7 @@ dirs: COMMON_FILES=../common/cpright.texi ../common/setup.texi GENERATED_FILES= \ - basic.texi tools.texi debug.texi freesw.texi + basic.texi tools.texi concepts.texi debug.texi freesw.texi hwdebugaids.texi FILES=$(PROJECT).texi $(GENERATED_FILES) @@ -69,6 +69,11 @@ tools.texi: tools.t Makefile -u "Top" \ -n "" ${*}.t +concepts.texi: concepts.t Makefile + $(BMENU) -c -p "" \ + -u "Top" \ + -n "" ${*}.t + debug.texi: debug.t Makefile $(BMENU) -c -p "" \ -u "Top" \ @@ -79,3 +84,9 @@ freesw.texi: freesw.t Makefile -u "Top" \ -n "" ${*}.t + +hwdebugaids.texi: hwdebugaids.t Makefile + $(BMENU) -c -p "" \ + -u "Top" \ + -n "" ${*}.t + |