1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
$options->{"EXTRA_HEAD"} = '<link rel="icon" href="figures/favicon.ico">
';
# 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)) {
return undef;
} 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;
|
