Makefile
Makefile.in
texinfo.tex
maxima.texi
*.de.texi
