| --- SGMLSpm/sgmlspl.pl.old 2008-08-23 17:06:13.000000000 +0200 | |
| +++ SGMLSpm/sgmlspl.pl 2008-08-23 17:07:13.000000000 +0200 | |
| @@ -238,7 +238,7 @@ | |
| package main; | |
| $ARGV = shift; | |
| -unless ($ARGV eq '' || do $ARGV) { | |
| +unless ($ARGV eq '' || do 'sgmlspl-specs/' . $ARGV || do $ARGV) { | |
| if (!-e $ARGV) { | |
| die "FATAL: $ARGV does not exist.\n"; | |
| } elsif (!-r $ARGV) { |