Do the same for .php-generated files.

This commit is contained in:
Andrea Veri 2012-02-17 00:45:06 +01:00
parent bd1a461501
commit 217ee7b200

View file

@ -2,7 +2,7 @@
PAGE=$1 PAGE=$1
ROOT=$2 ROOT=$2
sed "s,<head>,<head><meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" /><link rel=\"stylesheet\" type=\"text/css\" href=\"http://www-old.gnome.org/default.css\" /><link rel=\"stylesheet\" type=\"text/css\" href=\"$ROOT/foundation.css\" /><link rel=\"icon\" type=\"image/png\" href=\"http://www-old.gnome.org/img/logo/foot-16.png\" />,i;s,<body\([^>]*\)>,<body\1><div id=\"body\">,i;/<\/body>/,//d" $PAGE sed "s,<head>,<head><meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" /><link rel=\"stylesheet\" type=\"text/css\" href=\"http://www-old.gnome.org/default.css\" /><link rel=\"stylesheet\" type=\"text/css\" href=\"http://foundation-old.gnome.org/foundation.css\" /><link rel=\"icon\" type=\"image/png\" href=\"http://www-old.gnome.org/img/logo/foot-16.png\" />,i;s,<body\([^>]*\)>,<body\1><div id=\"body\">,i;/<\/body>/,//d" $PAGE
cat <<-FOOT cat <<-FOOT
</div> </div>