X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2Ftutorial%2FMakefile.am;h=d3c1afa06ba2cb15a5d607f3e7f497b144ddb14a;hp=50c49956a58a177720a571fb18b4159e2cf44ae5;hb=9a3a5502651d1f8464a0ec7b653a3fd2c5cb09a1;hpb=6906b22a460bfe9b7e30769be549e3bf713f9ac0

diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am
index 50c49956..d3c1afa0 100644
--- a/doc/tutorial/Makefile.am
+++ b/doc/tutorial/Makefile.am
@@ -4,18 +4,19 @@
 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
+.fig.eps:
 	@if [ "${FIG2DEV}" ]; then \
-	  echo "Running ${FIG2DEV} -L ps -m 0.8 $< $@..."; \
-	  ${FIG2DEV} -L ps -m 0.8 $< $@; \
+	  echo "Running ${FIG2DEV} -L eps -m 0.9 $< $@..."; \
+	  ${FIG2DEV} -L eps -m 0.9 $< $@; \
 	else \
 	  echo "warning: fig2dev was not found by configure"; \
 	fi
 
-%.png: %.fig
+.fig.png:
 	@if [ "${FIG2DEV}" ]; then \
 	  echo "Running ${FIG2DEV} -L png $< $@..."; \
 	  ${FIG2DEV} -L png $< $@; \
@@ -28,20 +29,21 @@ info_TEXINFOS = ginac.texi
 ginac.dvi: $(EPS)
 
 ginac.html: ginac.texi version.texi $(PNG)
-	cd $(srcdir) \
-	  && $(MAKEINFO) --html `echo $< | sed 's,.*/,,'`
+	$(MAKEINFO) --html $< -I ${srcdir}
 
-ginacdocdir = $(datadir)/doc/GiNaC
-ginactutorialdir = $(ginacdocdir)/tutorial
+ginactutorialdir = `test -z "@TUTORIAL_TARGETS@" || echo @datadir@/doc/GiNaC/tutorial`
 ginactutorial_DATA = @TUTORIAL_TARGETS@
 
 CLEANFILES = $(EPS) $(PNG) ginac.html
-EXTRA_DIST = $(FIG)
+EXTRA_DIST = $(FIG) $(TXT)
 
 install-data-local:
+	$(mkinstalldirs) $(DESTDIR)$(ginactutorialdir)
 	@for p in $(PNG); do \
-	  echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
-	  $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
+          if [ -f $$p ]; then \
+	    echo " $(INSTALL_DATA) $$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
+	    $(INSTALL_DATA) $$p $(DESTDIR)$(ginactutorialdir)/$$p; \
+	  fi; \
 	done
 
 uninstall-local: