diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index f88c3205..70b73943 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -13,7 +13,7 @@ endif docs: progdocs userdocs progdocs: prog.html prog.ps -userdocs: bird.html bird.ps +userdocs: bird.html bird.pdf prog.sgml: $(srcdir)/tools/progdoc $(srcdir_abs) @@ -28,6 +28,10 @@ prog.sgml: %.ps: %.dvi dvips -D600 -ta4 -o $@ $< +%.pdf: %.tex + pdflatex $< + pdflatex $< + %.tex: %.sgml ./sgml2latex --output=tex $< |