On Sun, Jan 03, 2010 at 05:49:04AM +0100, Norbert Preining wrote:
> On Sa, 02 Jan 2010, Jean-Sébastien Trottier wrote:
> > > That will be changed inthe next upload, too.
> >
> > Great. Thanks.
>
> BTW, hwat did yu do to get it actually working???

Like I said before, it "worked perfectly" by enabling support_zipped
(false->true) in this script:
    /usr/share/texmf-texlive/scripts/texdoc/constants.tlu

>
> I have moved texdoc.cnf into /u/s/texmf/texdoc/ but still it does
> not work, does not find pgfmanual. I changed a bit of the code
> to accept support_unzipped (before it gave a warning), ...
>
> all to no avail. you stated that if "worked perfectly" afterwards ..
> I am a bit surprised.

Indeed, I see the problem: support_zipped is not an "option" but
a constant. To get it to easily fake it as an option you need to add it
to known_options (gets you passed the warning) and also create a special
case in set_config_element (to change the constant).

This patch set works for me (with texdoc.cnf linked to the right
location):

--- /usr/share/texmf-texlive/scripts/texdoc/config.tlu.orig     2010-01-03 
02:27:34.000000000 -0500
+++ /usr/share/texmf-texlive/scripts/texdoc/config.tlu  2010-01-03 
02:28:03.000000000 -0500
@@ -80,6 +80,8 @@
         else
             config_warn (key, value, context)
         end
+    elseif key == "support_zipped" then
+        C.support_zipped = value
     else -- string
         real_set_config(key, value)
     end
--- /usr/share/texmf-texlive/scripts/texdoc/constants.tlu.orig  2010-01-03 
02:32:03.000000000 -0500
+++ /usr/share/texmf-texlive/scripts/texdoc/constants.tlu       2010-01-03 
02:32:15.000000000 -0500
@@ -52,6 +52,7 @@
 notfound_msg_ph = 'PKGNAME'
 
 known_options = {
+    'support_zipped',
     'viewer_.*',
     'mode',
     'interact_switch',


Now, is there a good reason to make it an option? Having it enabled all
the time *should* not cause any issues with non-zipped documentation.

I think you should just set it to true in constants.tlu and remove it
from texdoc.cnf.

Cheers.



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to