open(INFO, $file) || die "Cannot open \"$file\"\n" ;
print "\@c Generated from $file by get-commands.pl\n";
print "\@c Do not modify!\n\n";
print "\@table \@asis\n";
open(INFO, $file) || die "Cannot open \"$file\"\n" ;
print "\@c Generated from $file by get-commands.pl\n";
print "\@c Do not modify!\n\n";
print "\@table \@asis\n";