Documentation for tex-ptex-manual.
