X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2Ftutorial%2FMakefile.am;h=a2763b1c5a3f7154a74687073170f8378752d34d;hp=44be9f82f6ec8a5f2ea13b09e74beb19abafc692;hb=d8148ca72f0e9c5f39b7142a87f004a7a5840d69;hpb=c84d42371ab2e0cc6350a7cffd4f784a54dbd91b

diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am
index 44be9f82..a2763b1c 100644
--- a/doc/tutorial/Makefile.am
+++ b/doc/tutorial/Makefile.am
@@ -4,13 +4,14 @@
 FIG = classhierarchy.fig repnaive.fig reppair.fig repreal.fig
 PNG = $(addsuffix .png, $(basename $(FIG)))
 EPS = $(addsuffix .eps, $(basename $(FIG)))
+TXT = $(addsuffix .txt, $(basename $(FIG)))
 
-SUFFIXES = .fig .png .eps
+SUFFIXES = .fig .png .eps .txt
 
 %.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
@@ -35,27 +36,19 @@ ginacdocdir = $(datadir)/doc/GiNaC
 ginactutorialdir = $(ginacdocdir)/tutorial
 ginactutorial_DATA = @TUTORIAL_TARGETS@
 
-CLEANFILES = $(EPS) $(PNG) *.html
-EXTRA_DIST = $(FIG)
-
-#CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest
-
-#install-data-local:
-#	@for p in *.html; do \
-#	  echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
-#	  $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
-#	done
-#	@for p in *.png; do \
-#	  echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
-#	  $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
-#	done
-
-#uninstall-local:
-#	@for p in *.html; do \
-#	  echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
-#	  rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
-#	done
-#	@for p in *.png; do \
-#	  echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
-#	  rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
-#	done
+CLEANFILES = $(EPS) $(PNG) ginac.html
+EXTRA_DIST = $(FIG) $(TXT)
+
+install-data-local:
+	@for p in $(PNG); do \
+          if [ -f $(srcdir)/$$p ]; then \
+	    echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
+	    $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
+	  fi; \
+	done
+
+uninstall-local:
+	@for p in $(PNG); do \
+	  echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
+	  rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
+	done