open INFO_FILE, $file or die "Cannot open '$file'\n";
$title = <INFO_FILE>;
$title =~ s@^\s*/\*\s*@@;
- $extra = "";
- if ($title =~ /^(.*)::(.*)$/) {
- $title = $1;
- $extra = " $2";
- }
$title =~ s@\s*$@@;
- $extra =~ s@^\s*@@;
- $extra =~ s@\s*$@@;
close INFO_FILE;
print "GtkWidget *do_$basename (GtkWidget *do_widget);\n";
- push @demos, {"name" => $basename, "title" => $title, "file" => "$file $extra",
+ push @demos, {"name" => $basename, "title" => $title, "file" => "$file",
"func" => "do_$basename"};
}