Re: bad filenames when creating html/docbook using pretest

[Karl Berry]

    There is a command-line option if you don't like that:

          --node-files            produce redirection files for nodes and 
                                    anchors; default is set only if split.

Of course, omitting creation of those files would make external cross
references to them "by node" fail, undoing our hard work in this area
...

k