On 11/22/2012 02:46 PM, Karl Berry wrote:
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
The node files seems a very heavy-handed solution, cluttering up
the directory with lots of extra files that are very seldom used.
If a *specific* anchor may be externally referenced, then that
could be specified in htmlxref.cnf or some other way.
--
--Per Bothner
[email protected] http://per.bothner.com/
