diff options
Diffstat (limited to 'doc/filesystem/Makefile')
-rw-r--r-- | doc/filesystem/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/filesystem/Makefile b/doc/filesystem/Makefile index 79c4967f3a..c2dfb0ce3a 100644 --- a/doc/filesystem/Makefile +++ b/doc/filesystem/Makefile @@ -21,7 +21,7 @@ dirs: COMMON_FILES=../common/cpright.texi ../common/setup.texi -GENERATED_FILES=basefs.texi +GENERATED_FILES=basefs.texi applayering.texi FILES= $(PROJECT).texi \ preface.texi $(GENERATED_FILES) @@ -56,6 +56,11 @@ basefs.texi: basefs.t Makefile -u "Top" \ -n "" ${*}.t +applayering.texi: applayering.t Makefile + $(BMENU) -p "" \ + -u "Top" \ + -n "" ${*}.t + html: dirs $(FILES) -mkdir -p $(WWW_INSTALL)/$(PROJECT) # rm -f $(WWW_INSTALL)/$(PROJECT)/networkflow.jpg |