- @for p in *.png; do \
- echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
- rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
- done
-
-ginacdocdir = $(datadir)/doc/GiNaC
-ginactutorialdir = $(ginacdocdir)/tutorial
-ginactutorial_DATA = $(TUTORIAL_TARGETS)
-EXTRA_DATA = index.html tutorial.ps
-
-CLEANFILES = *.html *.png *.ps latex tutorial.sgml HTML.manifest
-EXTRA_DIST = tutorial.sgml.in $(FIG)