*** empty log message ***

Demo/scripts/fact.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Factorize numbers.
 # The algorithm is not efficient, but easy to understand.

Demo/scripts/makedir.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Like mkdir, but also make intermediate directories if necessary.
 # It is not an error if the given directory already exists (as long

Demo/scripts/pi.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Print digits of pi forever.
 #

Demo/scripts/primes.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Print prime numbers in a given range
 

Tools/scripts/byteyears.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Print the product of age and size of each file, in suitable units.
 #

Tools/scripts/checkpyc.py

@@ -1,5 +1,5 @@
 #! /ufs/guido/bin/sgi/python
-#! /usr/local/python
+#! /usr/local/bin/python
 # Check that all ".pyc" files exist and are up-to-date
 # Uses module 'os'
 

Tools/scripts/copytime.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Copy one file's atime and mtime to another
 

Tools/scripts/dutree.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 # Format du output in a tree shape
 
 import os, string, sys

Tools/scripts/eptags.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # eptags
 #

Tools/scripts/findlinksto.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # findlinksto
 #

Tools/scripts/h2py.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Read #define's from stdin and translate to Python code on stdout.
 # Very primitive: non-#define's are ignored, no check for valid Python

Tools/scripts/linktree.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # linktree
 #

Tools/scripts/lll.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Find symbolic links and show where they point to.
 # Arguments are directories to search; default is current directory.

Tools/scripts/ptags.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # ptags
 #

Tools/scripts/suff.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # suff
 #

Tools/scripts/which.py

@@ -1,4 +1,4 @@
-#! /usr/local/python
+#! /usr/local/bin/python
 
 # Variant of "which".
 # On stderr, near and total misses are reported.