diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/Makefile b/manual/Makefile index ae0440997b..67e13904bb 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -51,6 +51,7 @@ licenses = freemanuals.texi lgpl-2.1.texi fdl-1.3.texi -include $(objpfx)texis $(objpfx)texis: texis.awk $(chapters) $(add-chapters) $(appendices) $(licenses) + $(make-target-directory) $(AWK) -f $^ > $@.T mv -f $@.T $@ |