Added CLEANFILES.

diff --git a/doc/examples/Makefile.am b/doc/examples/Makefile.am
index c88a8212f19a2e4eefbdb7ae9a3fa8d158fb04cb..aaa665c40bd6f42107f7afe4ce9259482c748093 100644 (file)
--- a/doc/examples/Makefile.am
+++ b/doc/examples/Makefile.am
@@ -2,12 +2,16 @@
 
 EXFILES = archive1.cpp
 
 
 EXFILES = archive1.cpp
 

-TEXINFO_TEX = ../tutorial/texinfo.tex
+TEXI = ginac-examples.texi

 
 

-info_TEXINFOS = ginac-examples.texi
+info_TEXINFOS = $(TEXI)
+
+TXT = $(addsuffix .txt, $(basename $(TEXI)))

 
 all: $(EXFILES)
 
 all: $(EXFILES)

-       ${MAKEINFO} --no-split --no-headers $(srcdir)/ginac-examples.texi > ginac-examples.txt
-       ${MAKEINFO} --no-split --html $(srcdir)/ginac-examples.texi
+       ${MAKEINFO} --no-split --no-headers $(srcdir)/$(TEXI) > $(TXT)
+       ${MAKEINFO} --no-split --html $(srcdir)/$(TEXI)
+
+CLEANFILES = $(TXT)

 
 EXTRA_DIST = $(EXFILES)
 
 EXTRA_DIST = $(EXFILES)