-
-#CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest
-
-#install-data-local:
-# @for p in *.html; do \
-# echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
-# $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
-# done
-# @for p in *.png; do \
-# echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
-# $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
-# done
-
-#uninstall-local:
-# @for p in *.html; do \
-# echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
-# rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
-# done
-# @for p in *.png; do \
-# echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
-# rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
-# done