- tutorial now built with texinfo
[ginac.git] / doc / tutorial / Makefile.am
1 ## Process this file with automake to produce Makefile.in
2
3 # Graphics file conversion
4 FIG = classhierarchy.fig repnaive.fig reppair.fig repreal.fig
5 PNG = $(addsuffix .png, $(basename $(FIG)))
6 EPS = $(addsuffix .eps, $(basename $(FIG)))
7
8 SUFFIXES = .fig .png .eps
9
10 %.eps: %.fig
11         @if [ "${FIG2DEV}" ]; then \
12           echo "Running ${FIG2DEV} -L ps -m 0.8 $< $@..."; \
13           ${FIG2DEV} -L ps -m 0.8 $< $@; \
14         else \
15           echo "warning: fig2dev was not found by configure"; \
16         fi
17
18 %.png: %.fig
19         @if [ "${FIG2DEV}" ]; then \
20           echo "Running ${FIG2DEV} -L png $< $@..."; \
21           ${FIG2DEV} -L png $< $@; \
22         else \
23           echo "warning: fig2dev was not found by configure"; \
24         fi
25
26 info_TEXINFOS = ginac.texi
27
28 ginac.dvi: $(EPS)
29
30 ginac.html: ginac.texi version.texi $(PNG)
31         cd $(srcdir) \
32           && $(MAKEINFO) --html `echo $< | sed 's,.*/,,'`
33
34 ginacdocdir = $(datadir)/doc/GiNaC
35 ginactutorialdir = $(ginacdocdir)/tutorial
36 ginactutorial_DATA = @TUTORIAL_TARGETS@
37
38 CLEANFILES = $(EPS) $(PNG) *.html
39 EXTRA_DIST = $(FIG)
40
41 #CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest
42
43 #install-data-local:
44 #       @for p in *.html; do \
45 #         echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
46 #         $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
47 #       done
48 #       @for p in *.png; do \
49 #         echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
50 #         $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
51 #       done
52
53 #uninstall-local:
54 #       @for p in *.html; do \
55 #         echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
56 #         rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
57 #       done
58 #       @for p in *.png; do \
59 #         echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
60 #         rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
61 #       done