chiark / gitweb /
debian: Use debhelper to generate maint scripts
[userv.git] / Makefile.in
index 96eac6845d443239e85f8aba8f2b1c70f48dc437..8f3d687b3543bb001bd85a954713eda6d5e1924f 100644 (file)
@@ -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
@@ -173,25 +173,6 @@ distclean mostlyclean:     clean
 maintainer-clean:      distclean
                rm -rf $(GENSHIP_CLEAN) spec.html/*.html
 
-dist-prep:     $(GENSHIP)
-
-pre-checkin:
-               ./configure
-               $(MAKE) dist-prep
-
-dist_tmp=dist_tmp/userv-$(VERSION)
-dist_prune=\( -name CVS -o -name 'dist_tmp*' -o -name slash-etc -o -name vd \)
-dist:                  dist-prep distclean
-       rm -rf dist_tmp*
-       mkdir dist_tmp $(dist_tmp)
-       find $(dist_prune) -prune -o -type d -print | \
-               sed -e 's#.*#mkdir -p $(dist_tmp)/&#' | sh
-       find $(dist_prune) -prune -o -type f -print | \
-               sed -e 's#.*#ln & $(dist_tmp)/&#' | sh
-       cd dist_tmp && tar cf ../$(dist_tmp).tar `basename $(dist_tmp)`
-       gzip -9 $(dist_tmp).tar
-       mv $(dist_tmp).tar.gz .
-
 linecount:     $(SOURCES)
                wc -l $^
 
@@ -205,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