From: Christian Bauer Date: Mon, 15 Nov 1999 17:13:01 +0000 (+0000) Subject: - "make clean" works better X-Git-Tag: release_0-5-0~169 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=835fa95463df28a5753b1efb46eb1bbfaa21a615 - "make clean" works better --- diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am index cebe4064..32455b87 100644 --- a/doc/tutorial/Makefile.am +++ b/doc/tutorial/Makefile.am @@ -90,5 +90,5 @@ ginactutorialdir = $(ginacdocdir)/tutorial ginactutorial_DATA = $(TUTORIAL_TARGETS) EXTRA_DATA = index.html tutorial.ps -CLEANFILES = *.html *.png *.ps latex tutorial.sgml HTML.manifest +CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest EXTRA_DIST = tutorial.sgml.in $(FIG) diff --git a/doc/tutorial/Makefile.in b/doc/tutorial/Makefile.in index b034ddb6..96362341 100644 --- a/doc/tutorial/Makefile.in +++ b/doc/tutorial/Makefile.in @@ -112,7 +112,7 @@ ginactutorialdir = $(ginacdocdir)/tutorial ginactutorial_DATA = $(TUTORIAL_TARGETS) EXTRA_DATA = index.html tutorial.ps -CLEANFILES = *.html *.png *.ps latex tutorial.sgml HTML.manifest +CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest EXTRA_DIST = tutorial.sgml.in $(FIG) mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs CONFIG_HEADER = ../../config.h