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..."; \
9 ${DOXYGEN} DoxyfileHTML); \
11 echo "warning: target reference_html disabled by configuration"; \
15 @[ -d ${srcdir}/latex ] || mkdir ${srcdir}/latex >/dev/null 2>&1
18 @if [ "${DOXYGEN}" ]; then \
19 echo "Running ${DOXYGEN} DoxyfileTEX..."; \
21 ${DOXYGEN} DoxyfileTEX); \
22 mv ${srcdir}/latex/refman.tex ${srcdir}/latex/reference.tex; \
24 echo "warning: target reference.tex disabled by configuration"; \
27 latex/reference.dvi: latex/reference.tex
28 @if [ "${LATEX}" -a "${MAKEINDEX}" ]; then \
29 (cd ${srcdir}/latex; \
30 ${LATEX} reference.tex && \
31 ${MAKEINDEX} reference.idx && \
32 ${LATEX} reference.tex); \
34 echo "warning: target reference.dvi disabled by configuration"; \
37 latex/reference.ps: latex/reference.dvi
38 @if [ "${DVIPS}" ]; then \
39 echo "Running ${DVIPS} -o reference.ps reference.dvi..."; \
40 (cd ${srcdir}/latex; ${DVIPS} -o reference.ps reference.dvi); \
42 echo "warning: target reference.ps disabled by configuration"; \
45 reference.ps: latex latex/reference.ps
46 cp ${srcdir}/latex/reference.ps reference.ps
48 ginacreferencedir = `test -z "@REFERENCE_TARGETS@" || echo @datadir@/doc/GiNaC/reference`
49 ginacreference_DATA = @REFERENCE_TARGETS@
51 CLEANFILES = *.html *.gif doxygen.css *.ps latex/*
52 EXTRA_DIST = DoxyfileHTML DoxyfileTEX Doxyfooter
55 $(mkinstalldirs) $(DESTDIR)$(ginacreferencedir)
56 @if [ -f $(srcdir)/doxygen.css ]; then \
57 echo " $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css"; \
58 $(INSTALL_DATA) $(srcdir)/doxygen.css $(DESTDIR)$(ginacreferencedir)/doxygen.css; \
60 @for p in `echo $(srcdir)/*.html | sed -e 's,[^ ]*/,,g' -e 's,\*\.html,,'`; do \
61 echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
62 $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
64 @for p in `echo $(srcdir)/*.gif | sed -e 's,[^ ]*/,,g' -e 's,\*\.gif,,'`; do \
65 echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p"; \
66 $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginacreferencedir)/$$p; \
70 rm -f $(DESTDIR)$(ginacreferencedir)/doxygen.css
71 rm -f $(DESTDIR)$(ginacreferencedir)/*.html
72 rm -f $(DESTDIR)$(ginacreferencedir)/*.gif