diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/Makefile b/manual/Makefile index 44c0fd4..9945a4f 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -47,6 +47,7 @@ add-chapters = $(wildcard $(foreach d, $(add-ons), ../$d/$d.texi)) appendices = lang.texi header.texi install.texi maint.texi platform.texi \ contrib.texi licenses = freemanuals.texi lgpl-2.1.texi fdl-1.3.texi +tests = summary-check -include $(objpfx)texis $(objpfx)texis: texis.awk $(chapters) $(add-chapters) $(appendices) $(licenses) @@ -93,6 +94,10 @@ $(objpfx)stamp-summary: summary.awk $(filter-out $(objpfx)summary.texi, \ $(move-if-change) $(objpfx)summary-tmp $(objpfx)summary.texi touch $@ +$(objpfx)summary-check.c: summary-check.awk $(objpfx)summary.texi + $(AWK) -f $^ > $@.new + mv -f $@.new $@ + # Generate a file which can be added to the `dir' content to provide direct # access to the documentation of the function, variables, and other # definitions. |