Add TeXdoc resources