- @for p in *.html; do \
- echo " rm -f $(DESTDIR)$(ginacreferencedir)/$$p"; \
- rm -f $(DESTDIR)$(ginacreferencedir)/$$p; \
- done
- @for p in *.gif; do \
- echo " rm -f $(DESTDIR)$(ginacreferencedir)/$$p"; \
- rm -f $(DESTDIR)$(ginacreferencedir)/$$p; \
- done
-
-ginacdocdir = $(datadir)/doc/GiNaC
-ginacreferencedir = $(ginacdocdir)/reference
-ginacreference_DATA = $(REFERENCE_TARGETS)
-EXTRA_DATA = index.html reference.ps
-
-CLEANFILES = *.html *.gif doxygen.css *.ps latex/*
-EXTRA_DIST = DoxyfileHTML DoxyfileTEX Doxyfooter