Lines Matching refs:manual
714 # fix and given values. This is usefull in case the resulting manual is
793 # cross manual references.
900 # cf texinfo manual for more info.
1407 # $Texi2HTML::THISDOC{file_base_name} -- base name of the texinfo manual file
2379 # pertusus: unknown by makeinfo, not in texinfo manual (@* is the right thing)
3280 # manual, url shouldn't lead to a link but rather be formatted
4420 # texinfo manual
4422 # be used to make an html cross ref as explained in the texinfo manual
4458 { # nothing specified for that manual, use default
4462 { # depends on the splitting of the manual
4573 # format a reference external to the generated manual. This produces a full
4653 # format a reference to a node or a section in the generated manual. This
5175 # address put in footer describing when was generated and who did the manual
8290 ## initialization for latex2html as for Singular manual generation
8918 # setup hashes used for html manual cross references in texinfo
8953 print STDERR "# Doing ".scalar(keys(%nodes))." cross manual links\n"
9490 verbose => '$s is the base dir for external manual references',
10540 # parse texinfo cnf file for external manual specifications. This was
10558 my $manual = shift @htmlxref;
10566 next if (exists($Texi2HTML::THISDOC{'htmlxref'}->{$manual}->{$split_or_mono}) and exists($Texi2HTML::THISDOC{'htmlxref'}->{$manual}->{$split_or_mono}->{'href'}));
10571 $Texi2HTML::THISDOC{'htmlxref'}->{$manual}->{$split_or_mono}->{'href'} = $href;
10575 $Texi2HTML::THISDOC{'htmlxref'}->{$manual}->{$split_or_mono} = {};
10583 foreach my $manual (keys(%{$Texi2HTML::THISDOC{'htmlxref'}}))
10588 next unless (exists($Texi2HTML::THISDOC{'htmlxref'}->{$manual}->{$split}));
10589 $href = $Texi2HTML::THISDOC{'htmlxref'}->{$manual}->{$split}->{'href'} if
10590 exists($Texi2HTML::THISDOC{'htmlxref'}->{$manual}->{$split}->{'href'});
10591 print STDERR "$manual: $split, href: $href\n";
11816 # Find cross manual links as explained on the texinfo mailing list
11817 # The specification is such that cross manual links formatting should
11818 # be insensitive to the manual split
12119 { # special case as said in the texinfo manual
14073 # write to files with name the node name for cross manual references.
15157 # menu entry points to another info manual or invalid nodes
15237 # a ref to a node in an info manual
19553 '; __END__ ############# From here on it's a standard manual page ############