> . 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.)
