COPYING
manual/gpl.texi
manual/texinice.tex