1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
## Process this file with automake to produce Makefile.in
# This section produces HTML'ed and TeX'ed developer's reference from the
# sources with a JavaDoc-like tool (in this case doxygen):
index.html:
@if [ "${DOXYGEN}" ]; then \
echo "Running ${DOXYGEN} DoxyfileHTML..."; \
(cd ${srcdir}; \
${DOXYGEN} DoxyfileHTML); \
else \
echo "warning: target reference_html disabled by configuration"; \
fi
latex::
@[ -d ${srcdir}/latex ] || mkdir ${srcdir}/latex >/dev/null 2>&1
latex/reference.tex:
@if [ "${DOXYGEN}" ]; then \
echo "Running ${DOXYGEN} DoxyfileTEX..."; \
(cd ${srcdir}; \
${DOXYGEN} DoxyfileTEX); \
mv ${srcdir}/latex/refman.tex ${srcdir}/latex/reference.tex; \
else \
echo "warning: target reference.tex disabled by configuration"; \
fi
latex/reference.dvi: latex/reference.tex
@if [ "${LATEX}" -a "${MAKEINDEX}" ]; then \
(cd ${srcdir}/latex; \
${LATEX} reference.tex && \
${MAKEINDEX} reference.idx && \
${LATEX} reference.tex); \
else \
echo "warning: target reference.dvi disabled by configuration"; \
fi
latex/reference.ps: latex/reference.dvi
@if [ "${DVIPS}" ]; then \
echo "Running ${DVIPS} -o reference.ps reference.dvi..."; \
(cd ${srcdir}/latex; ${DVIPS} -o reference.ps reference.dvi); \
else \
echo "warning: target reference.ps disabled by configuration"; \
fi
reference.ps: latex latex/reference.ps
cp ${srcdir}/latex/reference.ps reference.ps
ginacreferencedir = `test -z "@REFERENCE_TARGETS@" || echo @datadir@/doc/GiNaC/reference`
ginacreference_DATA = @REFERENCE_TARGETS@
CLEANFILES = *.html *.gif doxygen.css *.ps latex/*
EXTRA_DIST = DoxyfileHTML DoxyfileTEX Doxyfooter
install-data-local:
$(mkinstalldirs) $(DESTDIR)$(ginacreferencedir)
@if [ -f $(srcdir)/doxygen.css ]; then \
echo " $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css"; \
$(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css; \
fi
@for p in `echo $(srcdir)/*.html | sed -e 's,[^ ]*/,,g' -e 's,\*\.html,,'`; do \
echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
$(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
done
@for p in `echo $(srcdir)/*.gif | sed -e 's,[^ ]*/,,g' -e 's,\*\.gif,,'`; do \
echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
$(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
done
uninstall-local:
rm -f $(DESTDIR)$(ginacreferencedir)/doxygen.css
rm -f $(DESTDIR)$(ginacreferencedir)/*.html
rm -f $(DESTDIR)$(ginacreferencedir)/*.gif
|
