- added one more sample for our friends at NASA. :-)
[ginac.git] / doc / tutorial / Makefile.am
1 ## Process this file with automake to produce Makefile.in
2
3 # This section produces HTML'ed and TeX'ed versions of the tutorial using a
4 # SGML to TeX converter (in this case jade).  As a dirty hack, we are doing
5 # some regexpese to tutorial.sgml prior to parsing it, in order to allow for
6 # different graphics output.  This seems to be an ugly limitation of docbook...
7
8 FIG = classhierarchy.fig rep_naive.fig rep_pair.fig rep_real.fig
9 PNG = $(addsuffix .png, $(basename $(FIG)))
10 EPS = $(addsuffix .eps, $(basename $(FIG)))
11
12 SUFFIXES = .fig .png .eps
13
14 %.eps: %.fig
15         @if [ "${FIG2DEV}" ]; then \
16           echo "Running ${FIG2DEV} -L ps -m 0.8 $< $@..."; \
17           ${FIG2DEV} -L ps -m 0.8 $< $@; \
18         else \
19           echo "warning: fig2dev was not found by configure"; \
20         fi
21
22 %.png: %.fig
23         @if [ "${FIG2DEV}" ]; then \
24           echo "Running ${FIG2DEV} -L png $< $@..."; \
25           ${FIG2DEV} -L png $< $@; \
26         else \
27           echo "warning: fig2dev was not found by configure"; \
28         fi
29
30 JADEARGS_TEX = -t tex -o tutorial.tex -d /usr/lib/sgml/stylesheet/dsssl/docbook/nwalsh/print/docbook.dsl
31 JADEARGS_HTML = -t sgml -d /usr/lib/sgml/stylesheet/dsssl/docbook/nwalsh/html/docbook.dsl
32
33 index.html: tutorial.sgml.in $(PNG)
34         @if [ "${JADE}" ]; then \
35           sed -e "s/MAJOR_VERSION/${GINACLIB_MAJOR_VERSION}/" \
36               -e "s/MINOR_VERSION/${GINACLIB_MINOR_VERSION}/" \
37               -e 's/graext/png/g' \
38               -e 's/GRAEXT/GIF/g' tutorial.sgml.in > tutorial.sgml; \
39           echo "Running ${JADE} ${JADEARGS_HTML} tutorial.sgml..."; \
40           ${JADE} ${JADEARGS_HTML} tutorial.sgml; \
41           if [ -f book1.html ]; then mv book1.html index.html; fi; \
42         else \
43           echo "warning: target tutorial_html disabled by configuration"; \
44         fi
45
46 tutorial.tex: tutorial.sgml.in $(EPS)
47         @if [ "${JADE}" -a "${LATEX}" ]; then \
48           sed -e "s/MAJOR_VERSION/${GINACLIB_MAJOR_VERSION}/" \
49               -e "s/MINOR_VERSION/${GINACLIB_MINOR_VERSION}/" \
50               -e 's/graext/eps/g' \
51               -e 's/GRAEXT/EPS/g' tutorial.sgml.in > tutorial.sgml; \
52           echo "Running ${JADE} ${JADEARGS_TEX} tutorial.sgml..."; \
53           ${JADE} ${JADEARGS_TEX} tutorial.sgml ; \
54         else \
55           echo "warning: target tutorial.tex disabled by configuration"; \
56         fi
57
58 tutorial.dvi: tutorial.tex
59         @if [ "${JADETEX}" ]; then \
60           echo "Running ${JADETEX} tutorial.tex..."; \
61           ${JADETEX} tutorial.tex && ${JADETEX} tutorial.tex && ${JADETEX} tutorial.tex; \
62         else \
63           echo "warning: target tutorial.dvi disabled by configuration"; \
64         fi
65
66 tutorial.ps: tutorial.dvi
67         @if [ "${DVIPS}" ]; then \
68           echo "Running ${DVIPS} tutorial.dvi -o tutorial.ps..."; \
69           ${DVIPS} tutorial.dvi -o tutorial.ps; \
70         else \
71           echo "warning: target tutorial.ps disabled by configuration"; \
72         fi
73
74 ginacdocdir = $(datadir)/doc/GiNaC
75 ginactutorialdir = $(ginacdocdir)/tutorial
76 ginactutorial_DATA = @TUTORIAL_TARGETS@
77 EXTRA_DATA = index.html tutorial.ps
78
79 CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest
80 EXTRA_DIST = tutorial.sgml.in $(FIG)
81
82 install-data-local:
83         @for p in *.html; do \
84           echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
85           $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
86         done
87         @for p in *.png; do \
88           echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
89           $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
90         done
91
92 uninstall-local:
93         @for p in *.html; do \
94           echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
95           rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
96         done
97         @for p in *.png; do \
98           echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
99           rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
100         done