--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/FOLP/change	Thu Sep 16 12:20:38 1993 +0200
@@ -0,0 +1,18 @@
+#! /bin/sh
+#
+# Usage:
+#    expandshort FILE1 ... FILEn
+#
+#  leaves previous versions as XXX~~
+#
+for f in $*
+do
+echo Expanding shorthands in $f. \ Backup file is $f~~
+mv $f $f~~; sed -e '
+s/PFOL/FOLP/g
+s/PIFOL/IFOLP/g
+s/pfol/folp/g
+s/pifol/ifolp/g
+' $f~~ > $f
+done
+echo Finished.