diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/user/Makefile.am | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index 3a83b20..d9d11bd 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -23,7 +23,11 @@ load_path = $(top_srcdir)/src/guile:$(top_srcdir)/src/guile/skribilo/package:$(t if HAVE_LOUT +if HAVE_PS2PDF +pdf_DATA = user.pdf +else ps_DATA = user.ps +endif .skb.lout: GUILE_LOAD_PATH=$(load_path):$$GUILE_LOAD_PATH \ @@ -34,6 +38,11 @@ ps_DATA = user.ps endif +if HAVE_PS2PDF +.ps.pdf: + $(PS2PDF) $(@:%.pdf=%.ps) +endif + if HAVE_PLOTICUS doc-config.scm: -echo "(define %have-ploticus? #t)" > $@ |