]> www.ginac.de Git - ginac.git/commitdiff
- "make clean" works better
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 15 Nov 1999 17:13:01 +0000 (17:13 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 15 Nov 1999 17:13:01 +0000 (17:13 +0000)
doc/tutorial/Makefile.am
doc/tutorial/Makefile.in

index cebe40642fc9bac82aa284ba683245346905c04d..32455b87f8e2d0abe55a89f88624cc5b47d008f9 100644 (file)
@@ -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)
index b034ddb64974dc6ceb058279b8e8b998a8c280bd..96362341b38ca0747ca3a30da98794fe355f61e9 100644 (file)
@@ -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