On 05/01/2010 18:08, Manuel Pégourié-Gonnard wrote: > I'll probably do that. > See texdoc 0.62, just commited to TeX Live. Now support_zipped is completely gone, the relevant option is actually zipext_list: by default it is empty. You just need to set it to whatever extensions you need, and define unzip_<ext> for every one of them. I added comments to texdoc.cnf, and a few warnings.
Hope you like it this way! Manuel. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
