overview diagram: Manually strip date from fig2dev output

[userv.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 1781847d1a3226fef35fc7c3656edd2e3e614a77..96eac6845d443239e85f8aba8f2b1c70f48dc437 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -1,9 +1,7 @@
 #  userv - Makefile.in
 #  
-#  userv is
-#  Copyright 1996-2017 Ian Jackson <ian@davenant.greenend.org.uk>.
-#  Copyright 2000      Ben Harris <bjh21@cam.ac.uk>
-#  Copyright 2016-2017 Peter Benie <pjb1008@cam.ac.uk>
+#  userv is copyright Ian Jackson and other contributors.
+#  See README for full authorship information.
 #  
 #  This is free software; you can redistribute it and/or modify it
 #  under the terms of the GNU General Public License as published by
@@ -55,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
@@ -94,13 +92,15 @@ install-strip:
                $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
 
 install-doc install-docs:      $(TARGETS_DOC)
-               $(INSTALL_DIR) $(addprefix $(DESTDIR),          \
-                       $(docdir) $(docdir)/spec.html           \
-                       $(mandir) $(man1dir) $(man8dir)         \
+               $(INSTALL_DIR) $(addprefix $(DESTDIR),                  \
+                       $(docdir) $(docdir)/spec.html $(docdir)/examples \
+                       $(mandir) $(man1dir) $(man8dir)                 \
                )
                $(INSTALL_DATA) -m 644 $(TARGETS_DOC_PS) $(DESTDIR)$(docdir)/.
                $(INSTALL_DATA) -m 644 spec.html/*.html \
                        $(DESTDIR)$(docdir)/spec.html/.
+               $(INSTALL_DATA) -m 644 system.default system.override \
+                       $(DESTDIR)$(docdir)/examples/.
                $(INSTALL_DATA) -m 644 $(MAN1PAGES) $(DESTDIR)$(man1dir)
                $(INSTALL_DATA) -m 644 $(MAN8PAGES) $(DESTDIR)$(man8dir)
 
@@ -195,14 +195,20 @@ 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 $@
+               fig2dev -L ps -c -l dummy -P -z A4 $< >$@.1.new
+               egrep -v '^%%CreationDate:' $@.1.new >$@.new
+               mv $@.new $@
 
 %.l:           %.l.m4
                $(M4) $(M4FLAGS) -- $< >$@.new && mv $@.new $@