X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=Makefile.in;h=8f3d687b3543bb001bd85a954713eda6d5e1924f;hb=HEAD;hp=96eac6845d443239e85f8aba8f2b1c70f48dc437;hpb=72a05a2cc9064d90ab9991742290e6c36a9e1dc7;p=userv.git

diff --git a/Makefile.in b/Makefile.in
index 96eac68..8f3d687 100644
--- 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
@@ -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