debian: Use debhelper to generate maint scripts

[userv.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 54b3305ab30def8b9aab65236bc160b4acff509b..8f3d687b3543bb001bd85a954713eda6d5e1924f 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.pdf overview.ps
+TARGETS_DOC_PS=        spec.pdf overview.pdf
 TARGETS_DOC_RM=        $(TARGETS_DOC_PS) spec.html
 TARGETS_DOC=   $(TARGETS_DOC_PS) spec.html/index.html
 MAN1PAGES=     userv.1
@@ -186,9 +186,9 @@ linecount:  $(SOURCES)
                dblatex -b xetex $<
                mv -f $<.pdf $@
 
-%.ps:          %.fig
-               fig2dev -L ps -c -l dummy -P -z A4 $< >$@.1.new
-               egrep -v '^%%CreationDate:' $@.1.new >$@.new
+overview.pdf:  overview.fig
+               SOURCE_DATE_EPOCH=$$(stat -c %Y overview.fig) \
+               fig2dev -L pdf -c -F -l dummy_arg -z A4 $< >$@.new
                mv $@.new $@
 
 %.l:           %.l.m4