Fixing the location of the AutoLaTeX documentation (man page...)