--- /dev/null
+## Process this file with automake to produce Makefile.in
+
+EXFILES = archive1.cpp
+
+TEXINFO_TEX = ../tutorial/texinfo.tex
+
+info_TEXINFOS = ginac-examples.texi
+
+all: $(EXFILES)
+ ${MAKEINFO} --no-split --no-headers $(srcdir)/ginac-examples.texi > ginac-examples.txt
+ ${MAKEINFO} --no-split --html $(srcdir)/ginac-examples.texi
+
+EXTRA_DIST = $(EXFILES)