Lines Matching refs:extension
760 # The extension is set appropriately, if necessary.
767 # extension is set appropriately, if necessary.
835 # If this is set, then all HTML files will have extension ".htm" instead of
1011 # extension for nodes files when NODE_FILES is true
1014 # extension
5116 my $extension = shift;
5119 push @files,"$base.$extension" if (defined($extension) and ($extension ne ''));
5138 # extension
5151 my $extension = shift;
5157 if (defined($extension) and $extension ne '')
5159 $file = "$base.$extension";
7757 $docu_ext = $Texi2HTML::THISDOC{'extension'};
7957 warn "$ERROR: L2h image $src has invalid extension\n";
8134 warn "# l2h: removing temporary files generated by l2h extension\n"
9213 verbose => 'dump the output of first pass into a file with extension passfirst and exit',
9417 verbose => 'use "htm" extension for output HTML files',
10141 my $docu_ext = $Texi2HTML::Config::EXTENSION; # extension
10300 # extension
10361 # Note that file extension has already been added here.
10369 $Texi2HTML::THISDOC{'extension'} = $docu_ext;