--- /dev/null
+#! /bin/bash
+
+# Fixes file suffix
+#
+# .html -> .shtml
+# Require "<!--#include"
+#
+# .html -> .php3
+# Require "<?"
+
+for f in $*
+do
+ if grep -q '<!--[ ]*#include' $f
+ then
+ base=${f%.html}
+ mv -f $f $base.shtml
+ else
+ if grep -q '<?' $f
+ then
+ base=${f%.html}
+ mv -f $f $base.php3
+ fi
+ fi
+done