1 ## Process this file with automake to produce Makefile.in
3 # This section produces HTML'ed and TeX'ed developer's reference from the
4 # sources with a JavaDoc-like tool (in this case doxygen):
6 @if [ "${DOXYGEN}" ]; then \
7 echo "Running ${DOXYGEN} DoxyfileHTML..."; \
8 ${DOXYGEN} DoxyfileHTML; \
10 echo "warning: target reference_html disabled by configuration"; \
14 @[ -d ${srcdir}/latex ] || mkdir ${srcdir}/latex >/dev/null 2>&1
17 @if [ "${DOXYGEN}" ]; then \
18 echo "Running ${DOXYGEN} DoxyfileTEX..."; \
19 ${DOXYGEN} DoxyfileTEX; \
20 mv ${srcdir}/latex/refman.tex ${srcdir}/latex/reference.tex; \
22 echo "warning: target reference.tex disabled by configuration"; \
25 latex/reference.dvi: latex/reference.tex
26 @if [ "${LATEX}" -a "${MAKEINDEX}" ]; then \
27 (cd ${srcdir}/latex; \
28 ${LATEX} reference.tex && \
29 ${MAKEINDEX} reference.idx && \
30 ${LATEX} reference.tex); \
32 echo "warning: target reference.dvi disabled by configuration"; \
35 latex/reference.ps: latex/reference.dvi
36 @if [ "${DVIPS}" ]; then \
37 echo "Running ${DVIPS} -o reference.ps reference.dvi..."; \
38 (cd ${srcdir}/latex; ${DVIPS} -o reference.ps reference.dvi); \
40 echo "warning: target reference.ps disabled by configuration"; \
43 reference.ps: latex latex/reference.ps
44 cp ${srcdir}/latex/reference.ps reference.ps
46 ginacdocdir = $(datadir)/doc/GiNaC
47 ginacreferencedir = $(ginacdocdir)/reference
48 ginacreference_DATA = @REFERENCE_TARGETS@
50 CLEANFILES = *.html *.gif doxygen.css *.ps latex/*
51 EXTRA_DIST = DoxyfileHTML DoxyfileTEX Doxyfooter
54 @if [ -f $(srcdir)/doxygen.css ]; then \
55 echo " $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css"; \
56 $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css; \
58 @for p in *.html; do \
59 if [ -f $(srcdir)/$$p ]; then \
60 echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
61 $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
65 if [ -f $(srcdir)/$$p ]; then \
66 echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
67 $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
72 rm -f $(DESTDIR)$(ginacreferencedir)/doxygen.css
73 @for p in *.html; do \
74 echo " rm -f $(DESTDIR)$(ginacreferencedir)/$$p"; \
75 rm -f $(DESTDIR)$(ginacreferencedir)/$$p; \
78 echo " rm -f $(DESTDIR)$(ginacreferencedir)/$$p"; \
79 rm -f $(DESTDIR)$(ginacreferencedir)/$$p; \