diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 36 |
1 files changed, 34 insertions, 2 deletions
@@ -50,10 +50,10 @@ FLAGS = $(WARN) -std=gnu99 .PHONY: default -default: command shell +default: command shell doc .PHONY: all -all: command shell +all: command shell info .PHONY: command @@ -93,6 +93,38 @@ bin/%.fish: src/completion auto-auto-complete fish --output $@ --source $< command="$*" +.PHONY: doc +doc: info pdf dvi ps + +.PHONY: info +info: bin/krandom.info +bin/%.info: info/%.texinfo info/fdl.texinfo + @mkdir -p obj bin + cd obj ; makeinfo ../$< + mv obj/$*.info bin/$*.info + +.PHONY: pdf +pdf: bin/krandom.pdf +bin/%.pdf: info/%.texinfo info/fdl.texinfo + @mkdir -p obj bin + cd obj ; yes X | texi2pdf ../$< + mv obj/$*.pdf bin/$*.pdf + +.PHONY: dvi +dvi: bin/krandom.dvi +bin/%.dvi: info/%.texinfo info/fdl.texinfo + @mkdir -p obj bin + cd obj ; yes X | $(TEXI2DVI) ../$< + mv obj/$*.dvi bin/$*.dvi + +.PHONY: ps +ps: bin/krandom.ps +bin/%.ps: info/%.texinfo info/fdl.texinfo + @mkdir -p obj bin + cd obj ; yes X | texi2pdf --ps ../$< + mv obj/$*.ps bin/$*.ps + + .PHONY: clean clean: |