overview diagram: Manually strip date from fig2dev output

[userv.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index ff97e120ab5ff70e9735e32e8d320b117e3aeac7..96eac6845d443239e85f8aba8f2b1c70f48dc437 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -206,7 +206,9 @@ linecount:  $(SOURCES)
                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 $@