Happy happy joy joy, www.infodrom.ffis.de is up!

[infodrom.org/www.infodrom.org] / bin / fixsuffix

diff --git a/bin/fixsuffix b/bin/fixsuffix
index 8f6f338..e639d8b 100755 (executable)
--- a/bin/fixsuffix
+++ b/bin/fixsuffix
@@ -15,7 +15,7 @@ do
        base=${f%.html}
        mv -f $f $base.shtml
     else
        base=${f%.html}
        mv -f $f $base.shtml
     else

-        if grep -q '<!--[ ]*#include' $f
+        if grep -q '<?' $f

        then
            base=${f%.html}
            mv -f $f $base.php3
        then
            base=${f%.html}
            mv -f $f $base.php3