Re: texi2html: command line option problems

[Karl Berry]

    >   . texi2html doesn't understand `-o /dev/null'.  It aborts with
    > 
    >       *** /dev/ not writable

    That doesn't seems to be a bug. -o /dev/null means that the use wants
    to output to the file names /dev/null (or the directory if split).
    If somebody wants to have the output goes to /Dev/null, it should be
    ....    -o - > /dev/null

Sorry Patrice, there is a special case in makeinfo for the "null
device".  It's a useful convenience feature.  If output is to /dev/null,
the normal splitting is omitted.

The magic string is "/dev/null" on Unixish systems, "NUL" on w32, and
either one on DJGPP.  (Looking at the texinfo/system.h file.)