/doc/
../
Makefile
ProofGeneral.texi
dir
localdir
notes.txt