1234567891011121314151617 |
- $element_file_name = \&toc_out_element_file_name;
- sub toc_out_element_file_name($$$)
- {
- my $element = shift;
- my $type = shift;
- my $prefix = shift;
- if ($type and ($type ne 'top') and ($type ne 'toc'))
- {
- return "$prefix.".get_conf('EXTENSION');
- }
- return undef;
- }
- 1;
|