| changeset 15574 | b1d1b5bfc464 |
| parent 14981 | e73f8140af78 |
| child 15847 | c05c7670f166 |
--- a/lib/Tools/expandshort Fri Mar 04 11:44:26 2005 +0100 +++ b/lib/Tools/expandshort Fri Mar 04 15:07:34 2005 +0100 @@ -34,6 +34,6 @@ ## main #set by configure -AUTO_PERL=perl +AUTO_PERL=/usr/bin/perl find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/expandshort.pl"