$type=pagetype($pagesources{$from});
}
$type=$config{default_pageext} unless defined $type;
- if (! $config{indexpages}) {
- $file=$page.".".$type;
- }
- else {
- $file=$page."/index.".$type;
- }
+ $file=newpagefile($page, $type);
if (! $form->submitted) {
$form->field(name => "rcsinfo", value => "", force => 1);
}
$type=$ext;
}
- if (! $config{indexpages}) {
- $destfile.=".".$type;
- }
- else {
- $destfile.="/index.".$type;
- }
+ $destfile=newpagefile($dest, $type);
}
push @torename, {
src => $src,