diff options
Diffstat (limited to '')
| -rw-r--r-- | mk/build-doc.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mk/build-doc.mk b/mk/build-doc.mk index c4cf0ea..ad98d46 100644 --- a/mk/build-doc.mk +++ b/mk/build-doc.mk @@ -30,10 +30,10 @@ obj/logo.ps: doc/logo.svg rsvg-convert --format=ps $< > $@ -bin/%.info: doc/info/%.texinfo doc/info/*.texinfo +bin/%.info bin/%.info-1 bin/%.info-2: doc/info/%.texinfo doc/info/*.texinfo @mkdir -p bin $(MAKEINFO) $(TEXIFLAGS) $< - mv $*.info $@ + mv $*.info $*.info-* bin bin/%.pdf: doc/info/%.texinfo doc/info/*.texinfo # obj/logo.pdf @mkdir -p obj/pdf bin |