doc/info/texi2html.init.in

   1 $options->{"EXTRA_HEAD"} = '<link rel="icon" href="figures/favicon.ico">
   2 @mathjax_script@';
   3
   4 # Make the output file names consist of the base name followed by a number.
   5 use strict;
   6
   7 use vars qw($element_file_name);
   8
   9 my $file_nr = -1;
  10
  11 sub filename_simple($$$)
  12 {
  13   my $converter = shift;
  14   my $element = shift;
  15   my $filename = shift;
  16
  17   my $prefix = $converter->{'document_name'};
  18   # If we're not splitting, just return the name.
  19   if (!get_conf('SPLIT')) {
  20     return $prefix.'.'.$converter->get_conf('EXTENSION');
  21   }
  22   if ($converter->element_is_top($element)) {
  23     # The table of contents file should be named this.
  24     return "maxima_toc.html";
  25   } else {
  26     $file_nr++;
  27     if ($file_nr == 0) {
  28       return $prefix.'.'.$converter->get_conf('EXTENSION');
  29     } else {
  30       return $prefix.'_'.$file_nr.'.'.$converter->get_conf('EXTENSION');
  31     }
  32   }
  33 }
  34
  35 $element_file_name = \&filename_simple;