2010/5/19 Francisco Vila :
> Where is href() defined as a function? it starts being used at line
> 16330 of /usr/bin/texi2html. See at the end of
Oh, I'm so sorry, I've just found it,
# do a href using file and id and taking care of ommitting file if it is
# the same
# element: structuring elemen
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 ($)
