diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -71,28 +71,28 @@ doc: info pdf dvi ps .PHONY: info info: bin/sleep-until.info -bin/%.info: info/%.texinfo info/fdl.texinfo +bin/%.info: doc/info/%.texinfo doc/info/fdl.texinfo @mkdir -p bin makeinfo $< mv $*.info $@ .PHONY: pdf pdf: bin/sleep-until.pdf -bin/%.pdf: info/%.texinfo info/fdl.texinfo +bin/%.pdf: doc/info/%.texinfo doc/info/fdl.texinfo @mkdir -p obj/pdf bin cd obj/pdf ; yes X | texi2pdf ../../$< < /dev/null mv obj/pdf/$*.pdf $@ .PHONY: dvi dvi: bin/sleep-until.dvi -bin/%.dvi: info/%.texinfo info/fdl.texinfo +bin/%.dvi: doc/info/%.texinfo doc/info/fdl.texinfo @mkdir -p obj/dvi bin cd obj/dvi ; yes X | $(TEXI2DVI) ../../$< < /dev/null mv obj/dvi/$*.dvi $@ .PHONY: ps ps: bin/sleep-until.ps -bin/%.ps: info/%.texinfo info/fdl.texinfo +bin/%.ps: doc/info/%.texinfo doc/info/fdl.texinfo @mkdir -p obj/ps bin cd obj/ps ; yes X | texi2pdf --ps ../../$< < /dev/null mv obj/ps/$*.ps $@ |