X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2Ftutorial%2FMakefile.in;h=8c17b366ed64ee845a403e167af375a148fd0df6;hp=a1bcb6b98cf99b839a9b4c76d9996782940376d4;hb=726f2a78847ca21d45253306e4499c73ca81f2a6;hpb=0e17746a6dd27ec7879d37a02cffe89609cbe298;ds=sidebyside

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