Re: octave-htmldoc

[Dr.-Ing. Dieter Jurzitza]

Sorry folks, if I was not precise enough. I intended to say nothing but that 
the info system for gzipped files is broken - and apparently still is with 
current distributions.
IMHO it is a valid question whether a distributor ought to modify it's 
distribution due to a bug in a application or vice versa. I think it ought to 
be vice versa because modifying this for a single application is causing 
inconsistencies.
I cannot talk about debian specifically - I know about openSUSE, and in 
openSUSE one needs to manually unpack the info files to prevent octave gui 
from freezing.
Anyway, thank you for looking into this,
take care





Dieter Jurzitza

-- 
-----------------------------------------------------------

                               |
                                \
                 /\_/\           |
                | ~x~ |/-----\   /
                 \   /-       \_/
  ^^__   _        /  _  ____   /
 <°°__ \- \_/     |  |/    |  |
  ||  ||         _| _|    _| _|

if you really want to see the pictures above - use some font
with constant spacing like courier! :-)
-----------------------------------------------------------