# Make the output file names consist of the base name followed by a number. use strict; # REMARK: if more than one manual is processed, $file_nr and %reference_file_name_file_nr # should be reset, using a handler my $file_nr = -1; my %reference_file_name_file_nr = (); sub filename_simple($$$) { my $converter = shift; my $element = shift; my $filename = shift; my $prefix = $converter->get_info('document_name'); # If we're not splitting, just return the name. if (!$converter->get_conf('SPLIT')) { return $prefix.'.'.$converter->get_conf('EXTENSION'); } if ($converter->element_is_tree_unit_top($element)) { # The table of contents file should be named this. return "maxima_toc.html"; } else { if (defined($reference_file_name_file_nr{$filename})) { $file_nr = $reference_file_name_file_nr{$filename}; } else { $file_nr++; $reference_file_name_file_nr{$filename} = $file_nr; } if ($file_nr == 0) { return $prefix.'.'.$converter->get_conf('EXTENSION'); } else { return $prefix.'_'.$file_nr.'.'.$converter->get_conf('EXTENSION'); } } } texinfo_register_file_id_setting_function('tree_unit_file_name', \&filename_simple);