(dir) -> TOP_NODE_UP_URL

[Karl Berry]

Patrice and all,

Here is a small diff (not yet committed) which changes 
_external_node_href to output the value of TOP_NODE_UP_URL (if
specified) for any external file "dir".  My (weird) test file below.

Does it look reasonable to you?

I suppose the manual_content element might not exist, but will any harm
come of the autovivification?  Easy enough to check if that's better.

Thanks,
Karl

--- HTML.pm     (revision 6066)
+++ HTML.pm     (working copy)
@@ -5720,6 +5720,13 @@
     return $self->get_conf('TOP_NODE_UP_URL');
   }
 
+  # in addition to the Up from the Top node, replace any references
+  # to external file "dir" with the same TOP_NODE_UP_URL value, if given.
+  if (defined($self->get_conf('TOP_NODE_UP_URL'))
+      and $external_node->{'manual_content'}[0]->{'text'} eq "dir") {
+    return $self->get_conf('TOP_NODE_UP_URL');
+  }
+  
   #print STDERR "external_node: ".join('|', keys(%$external_node))."\n";
   my ($target_filebase, $target, $id) = $self->_node_id_file($external_node);
 
---------------------------------------------------------------------

\input texinfo
@setfilename dir3.info

@node Top, (dir), (dir), (dir)
@top 3dir

Top node with dir for all three pointers.

@menu
* Sub::
@end menu

@node Sub, (dir), (dir), (dir)
@chapter Sub

Top node with, erroneously, dir for all three pointers.

@bye