diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/supplements/template/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/supplements/template/Makefile b/doc/supplements/template/Makefile index b3f565b33e..27a93cdc1d 100644 --- a/doc/supplements/template/Makefile +++ b/doc/supplements/template/Makefile @@ -24,7 +24,7 @@ COMMON_FILES=../../common/cpright.texi ../../common/setup.texi \ FILES= $(PROJECT).texi preface.texi \ $(COMMON_FILES) $(GENERATED_FILES) GENERATED_FILES=\ - cpumodel.texi callconv.texi memmodel.texi intr.texi + cpumodel.texi callconv.texi memmodel.texi intr.texi fatalerr.texi # bsp.texi callconv.texi cpumodel.texi cputable.texi fatalerr.texi \ # intr.texi memmodel.texi preface.texi timetbl.texi timedata.texi wksheets.texi @@ -71,6 +71,12 @@ intr.t: intr_NOTIMES.t BSP_TIMES ${REPLACE} -p BSP_TIMES intr_NOTIMES.t mv intr_NOTIMES.t.fixed intr.t +fatalerr.texi: fatalerr.t Makefile + $(BMENU) -p "" \ + -u "Top" \ + -n "" ${*}.t + +intr.texi: intr.t Makefile replace: timedata.texi timetbl.t: ../../common/timetbl.t |