Ability to disable URL mangling in makeinfo 4.7?

[Gerald Pfeifer]

On Wed, 15 Sep 2004, Stepan Kasal wrote:
> So, you could have:
> http://www.gnu.org/software/gawk/manual/html_node/Statements_002fLines.html#Statements/Lines
> instead of
> http://www.gnu.org/software/gawk/manual/html_node/Statements_002fLines.html#Statements_002fLines
>
> Would this help so much?

Is guess that would be somewhat confusing since it looks like a 
subdirectory structure.

Gerald