/doc/
../
proof.texinfo