my ($key) = $lines[$i];
if ($enum == 1) {
- while( !($key =~ m/^\@float Table,(.*)$/) && ($i < 5)) { $i=$i+1; $key = $lines[$i]; }
+ while( !($key =~ m/\@c\s(.*)\n/) && ($i < 5)) { $i=$i+1; $key = $lines[$i]; }
} else {
while( !($key =~ m/^\\functionTitle\{(.*)\}/) && ($i < 5)) { $i=$i+1; $key = $lines[$i]; }
}
}
if ($enum == 1) {
- $/="\n\@end float"; # Records are separated by blank lines.
+ $/="\@end itemize"; # Records are separated by blank lines.
} else {
$/="\n\\end{function}"; # Records are separated by blank lines.
}
@records = <>; # Read in whole file, one record per array element.
+$/="\n";
+
mkdir $dir;
-@records = sort { key_of_record($a) cmp key_of_record($b) } @records;
+if ($enum == 0) {
+ @records = sort { key_of_record($a) cmp key_of_record($b) } @records;
+}
+
foreach (@records) {
$key = $_;
if ($enum == 1) {
- $key =~ m/\@float Table,(.*)/;
+ $key =~ m/\@c\s(.*)\n/;
$key = $1;
} else {
$key =~ m/\\functionTitle\{(.*)\}/;