Here too.

This commit is contained in:
Andrea Veri 2013-07-25 11:32:35 +02:00
parent 42e4f9a938
commit 4e6d8b2ec9

View file

@ -2,23 +2,23 @@
PAGE=$1
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=\"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
sed "s,<head>,<head><meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" /><link rel=\"stylesheet\" type=\"text/css\" href=\"https://www-old.gnome.org/default.css\" /><link rel=\"stylesheet\" type=\"text/css\" href=\"https://foundation-old.gnome.org/foundation.css\" /><link rel=\"icon\" type=\"image/png\" href=\"https://www-old.gnome.org/img/logo/foot-16.png\" />,i;s,<body\([^>]*\)>,<body\1><div id=\"body\">,i;/<\/body>/,//d" $PAGE
cat <<-FOOT
</div>
<div id="hdr">
<div id="logo"><a href="$ROOT/"><img src="http://www.gnome.org/img/spacer" alt="Home" /></a></div>
<div id="banner"><img src="http://www.gnome.org/img/spacer" alt="" /></div>
<div id="logo"><a href="$ROOT/"><img src="https://www.gnome.org/img/spacer" alt="Home" /></a></div>
<div id="banner"><img src="https://www.gnome.org/img/spacer" alt="" /></div>
<p class="none"></p>
<div id="hdrNav">
<a href="http://www.gnome.org/about/">About GNOME</a> &middot;
<a href="http://www.gnome.org/start/stable/">Download</a> &middot;
<a href="https://www.gnome.org/about/">About GNOME</a> &middot;
<a href="https://www.gnome.org/start/stable/">Download</a> &middot;
<!--<a href="http://www.gnome.org/contribute/"><i>Get Involved!</i></a> &middot;-->
<a href="http://www.gnome.org/">Users</a> &middot;
<a href="http://library.gnome.org/devel">Developers</a> &middot;
<a href="http://foundation.gnome.org/"><b>Foundation</b></a> &middot;
<a href="http://www.gnome.org/contact/">Contact</a>
<a href="https://www.gnome.org/">Users</a> &middot;
<a href="https://help.gnome.org/devel">Developers</a> &middot;
<a href="https://foundation.gnome.org/"><b>Foundation</b></a> &middot;
<a href="https://www.gnome.org/contact/">Contact</a>
</div>
</div>
@ -32,7 +32,7 @@ var piwikTracker = Piwik.getTracker(pkBaseURL + "piwik.php", 5);
piwikTracker.trackPageView();
piwikTracker.enableLinkTracking();
} catch( err ) {}
</script><noscript><p><img src="http://webstats.gnome.org/piwik.php?idsite=5" style="border:0" alt=""/></p></noscript>
</script><noscript><p><img src="https://webstats.gnome.org/piwik.php?idsite=5" style="border:0" alt=""/></p></noscript>
<!-- End Piwik Tag -->
</body>