[tex-live] texdoc doesn't find man pages

Manuel Pégourié-Gonnard mpg at elzevir.fr
Tue Jul 15 17:36:29 CEST 2008

Zdenek Wagner scripsit (15.07.2008 16:53)
>> IMO, the question is how to make sure the pdf/html files are re-generated
>> every time the corresponding man page is changed.  I wonder if a
>> pre/post-commit hook would be appropriate for this.
> I think that these hooks should not do such things, at least the svn
> documentation says that the hooks should not modify the content.


> Conversion man->pdf should rather be implemented in the build script.
Yep, good idea.


More information about the tex-live mailing list