spec: Generate printable file as pdf via docbook

[userv.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index ec58cd519200b899512d8a39c6e18212cb353a79..ff97e120ab5ff70e9735e32e8d320b117e3aeac7 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -53,7 +53,7 @@ etcsubdir=$(etcdir)/userv
 docdir=$(share_prefix)/doc/userv
 
 TARGETS=       daemon client
-TARGETS_DOC_PS=        spec.ps overview.ps
+TARGETS_DOC_PS=        spec.pdf overview.ps
 TARGETS_DOC_RM=        $(TARGETS_DOC_PS) spec.html
 TARGETS_DOC=   $(TARGETS_DOC_PS) spec.html/index.html
 MAN1PAGES=     userv.1
@@ -195,11 +195,15 @@ dist:                     dist-prep distclean
 linecount:     $(SOURCES)
                wc -l $^
 
+%.dbk:         %.sgml
+               debiandoc2dbk -1 $<
+
 %.html/index.html:     %.sgml
                        debiandoc2html $<
 
-%.ps:          %.sgml
-               debiandoc2ps -1 -O $< >$@.new && mv $@.new $@
+%.pdf:         %.dbk
+               dblatex -b xetex $<
+               mv -f $<.pdf $@
 
 %.ps:          %.fig
                fig2dev -L ps -c -l dummy -P -z A4 $< >$@.new && mv $@.new $@