Customizing html file names

For a while maxima has been customizing the html file names that makeinfo
uses.  Basically, the file names are of the form maxima_nnn.html or
maxima_toc.html for the table of contents.

I would like to be able to change this so that the appendices or indices
don't get a number.  Using the original names makeinfo would have used is
fine.  I don't know how to do that, so some help would be appreciated.

Here is the current script that is used to get html file names:

# Make the output file names consist of the base name followed by a number.
use strict;

use vars qw($element_file_name);

my $file_nr = -1;

sub filename_simple($$$)
{
  my $converter = shift;
  my $element = shift;
  my $filename = shift;

  my $prefix = $converter->{'document_name'};
  # If we're not splitting, just return the name.
  if (!get_conf('SPLIT')) {
    return $prefix.'.'.$converter->get_conf('EXTENSION');
  }
  if ($converter->element_is_top($element)) {
    # The table of contents file should be named this.
    return "maxima_toc.html";
  } else {
    $file_nr++;
    if ($file_nr == 0) {
      return $prefix.'.'.$converter->get_conf('EXTENSION');
    } else {
      return $prefix.'_'.$file_nr.'.'.$converter->get_conf('EXTENSION');
    }
  }
}

$element_file_name = \&filename_simple;

-- 
Ray