blob: 946ce319a97d2d1135dfd1f154392e142e51b80d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- 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) {
|