- Use newer fig2dev which supports eps (old ones are broken now!)

[ginac.git] / doc / tutorial / Makefile.in

diff --git a/doc/tutorial/Makefile.in b/doc/tutorial/Makefile.in
index e4b36e70be03e15a5e02ff745f7d30b67fcb25b5..ca92d6b9a500c2c056a2b7c2a658512e9f6c1858 100644 (file)
--- a/doc/tutorial/Makefile.in
+++ b/doc/tutorial/Makefile.in
@@ -396,8 +396,8 @@ maintainer-clean-generic clean mostlyclean distclean maintainer-clean
 
 %.eps: %.fig
        @if [ "${FIG2DEV}" ]; then \
-         echo "Running ${FIG2DEV} -L ps -m 0.9 $< $@..."; \
-         ${FIG2DEV} -L ps -m 0.9 $< $@; \
+         echo "Running ${FIG2DEV} -L eps -m 0.9 $< $@..."; \
+         ${FIG2DEV} -L eps -m 0.9 $< $@; \
        else \
          echo "warning: fig2dev was not found by configure"; \
        fi