From 7283667eb0fd7a551fd6eb4397e9129c883d198f Mon Sep 17 00:00:00 2001 From: Jens Vollinga Date: Sat, 1 Sep 2007 01:02:09 +0000 Subject: [PATCH] Added CLEANFILES. --- doc/examples/Makefile.am | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/doc/examples/Makefile.am b/doc/examples/Makefile.am index c88a8212..aaa665c4 100644 --- a/doc/examples/Makefile.am +++ b/doc/examples/Makefile.am @@ -2,12 +2,16 @@ 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) - ${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) -- 2.44.0