diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/manual/Makefile b/manual/Makefile index fafa7e7..c99f497 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -67,12 +67,8 @@ stamp-summary: summary.awk $(chapters) $(chapters-incl) # access to the documentation of the function, variables, and other # definitions. dir-add.texi: xtract-typefun.awk $(chapters) - if test -n "$(chapters)"; then \ - (for i in $(chapters); do \ - $(GAWK) -f $< < $$i; \ - done) | sort > $@.new; \ - ./move-if-change $@.new $@; \ - fi + $(GAWK) -f $^ | sort > $@.new; + mv -f $@.new $@ # Generate Texinfo files from the C source for the example programs. %.c.texi: examples/%.c |