diff options
Diffstat (limited to 'doc/filesystem/Makefile')
| -rw-r--r-- | doc/filesystem/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/filesystem/Makefile b/doc/filesystem/Makefile index 30e9485c0c..a9af386a68 100644 --- a/doc/filesystem/Makefile +++ b/doc/filesystem/Makefile @@ -22,7 +22,8 @@ dirs: COMMON_FILES=../common/cpright.texi ../common/setup.texi GENERATED_FILES=basefs.texi applayering.texi patheval.texi \ - init.texi mounting.texi lifecycle.texi syscalls.texi + init.texi mounting.texi lifecycle.texi imfs.texi \ + syscalls.texi basefs.texi FILES= $(PROJECT).texi \ preface.texi $(GENERATED_FILES) @@ -82,6 +83,11 @@ lifecycle.texi: lifecycle.t Makefile -u "Top" \ -n "" ${*}.t +imfs.texi: imfs.t Makefile + $(BMENU) -p "" \ + -u "Top" \ + -n "" ${*}.t + syscalls.texi: syscalls.t Makefile $(BMENU) -p "" \ -u "Top" \ |