diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index 3aa64051b9..7f083d5934 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -61,7 +61,7 @@ add-chapters = $(wildcard $(foreach d, $(add-ons), ../$d/$d.texi)) appendices = lang.texi header.texi install.texi maint.texi contrib.texi -include texis -texis: texis.awk $(chapters) $(add-chapters) $(appendices) lesser.texinfo +texis: texis.awk $(chapters) $(add-chapters) $(appendices) lesser.texi fdl.texi $(AWK) -f $^ > $@.T mv -f $@.T $@ |