lib/Tools/fixdots
changeset 6082 590f9e3bf4d8
parent 4508 f102cb0140fe
child 9788 df671fa2562a
     1.1 --- a/lib/Tools/fixdots	Mon Jan 11 18:45:46 1999 +0100
     1.2 +++ b/lib/Tools/fixdots	Tue Jan 12 12:17:53 1999 +0100
     1.3 @@ -32,5 +32,8 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 +#set by configure
     1.8 +AUTO_PERL=perl
     1.9 +
    1.10  find $SPECS \( -name \*.thy -o -name \*.ML \) -print | \
    1.11 -  xargs perl -w $ISABELLE_HOME/lib/scripts/fixdots.pl
    1.12 +  xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixdots.pl