Naive question about texi2html [#1036, continued]

[Francisco Vila]

Hello. I still can not find a point of the code in which filename and
anchor are still not  joined in a "filename#anchor" string, but I
think I'm close.

Where is href() defined as a function? it starts being used at line
16330 of /usr/bin/texi2html. See at the end of

sub do_element_directions ($)
{
  my $this_element = shift;
  #print STDERR "Doing hrefs for $this_element->{'texi'} First ";
  $Texi2HTML::HREF{'First'} = href($element_first, $this_element->{'file'});

Thanks,
-- 
Francisco Vila. Badajoz (Spain)
www.paconet.org , www.csmbadajoz.com