X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2Ftutorial%2FMakefile.am;h=c9025d9aa683d37f3a801735394457d7b57187ee;hp=af8ac282504dd2ca4f107e52b6eda7d45495161f;hb=541c2950a84f2e0a19edae0da44ad2d317824ec4;hpb=0abede63d5c90781496e7c12b4bae563be6eaac3

diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am
index af8ac282..c9025d9a 100644
--- a/doc/tutorial/Makefile.am
+++ b/doc/tutorial/Makefile.am
@@ -1,9 +1,12 @@
 ## Process this file with automake to produce Makefile.in
 
+AM_MAKEINFOHTMLFLAGS = --no-split
+
 # Graphics file conversion
 FIG = classhierarchy.fig repnaive.fig reppair.fig repreal.fig
 PNG = $(addsuffix .png, $(basename $(FIG)))
 EPS = $(addsuffix .eps, $(basename $(FIG)))
+PDF = $(addsuffix .pdf, $(basename $(FIG)))
 TXT = $(addsuffix .txt, $(basename $(FIG)))
 
 SUFFIXES = .fig .png .eps .txt
@@ -16,6 +19,14 @@ SUFFIXES = .fig .png .eps .txt
 	  echo "warning: fig2dev was not found by configure"; \
 	fi
 
+.fig.pdf:
+	@if [ "${FIG2DEV}" ]; then \
+	  echo "Running ${FIG2DEV} -L pdf -m 0.9 $< $@..."; \
+	  ${FIG2DEV} -L pdf -m 0.9 $< $@; \
+	else \
+	  echo "warning: fig2dev was not found by configure"; \
+	fi
+
 .fig.png:
 	@if [ "${FIG2DEV}" ]; then \
 	  echo "Running ${FIG2DEV} -L png $< $@..."; \
@@ -26,28 +37,9 @@ SUFFIXES = .fig .png .eps .txt
 
 info_TEXINFOS = ginac.texi
 
+ginac.pdf: $(PDF)
 ginac.dvi: $(EPS)
+ginac.html: $(PNG)
 
-ginac.html: ginac.texi version.texi $(PNG)
-	$(MAKEINFO) --html $< -I ${srcdir}
-
-ginacdocdir = $(datadir)/doc/GiNaC
-ginactutorialdir = $(ginacdocdir)/tutorial
-ginactutorial_DATA = @TUTORIAL_TARGETS@
-
-CLEANFILES = $(EPS) $(PNG) ginac.html
+CLEANFILES = $(EPS) $(PDF) $(PNG)
 EXTRA_DIST = $(FIG) $(TXT)
-
-install-data-local:
-	@for p in $(PNG); do \
-          if [ -f $$p ]; then \
-	    echo " $(INSTALL_DATA) $$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
-	    $(INSTALL_DATA) $$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