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