diff options
| author | Pavel Tvrdik <pawel.tvrdik@gmail.com> | 2016-09-29 14:05:25 +0200 |
|---|---|---|
| committer | Pavel Tvrdik <pawel.tvrdik@gmail.com> | 2016-10-11 17:41:33 +0200 |
| commit | a2df7c0303d235f4122969243e9df152a8a16dcb (patch) | |
| tree | c77a6e9ceb7fc0bba544a22a4baf3760d5151cfe /doc/Makefile | |
| parent | 9faf72c8cc9a099b41c90ee1822e8bca22fd0596 (diff) | |
Doc: Generate clickable PDF
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 $< |