/doc/
../
Makefile
docstyle.css
manual.texi
version.texi