Philipp Stephani a écrit : > Thanks for these documents. Now where url.pdf and capt-of.pdf are there, I think the aliases for TeXdoc can be removed. Done. Thanks for remembering me. Manuel.