diff options
Diffstat (limited to 'fix-website.sh')
-rwxr-xr-x | fix-website.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fix-website.sh b/fix-website.sh index 8de202e..3a2b4af 100755 --- a/fix-website.sh +++ b/fix-website.sh @@ -17,6 +17,6 @@ for n in *.html; do -e 's|<html lang="en">|<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Strict//EN" "http://www.w3.org/TR/html4/strict.dtd"><html lang="en">|' \ -e "s|<a name=\"${name}\"></a>||" \ -e 's|_005f|_|g' \ - -e 's|href="../index.html#dir">(dir)</a>|href="http://savannah.nongnu.org/projects/autoconf-archive/">Home Page at Savannah</a>|g' \ + -e 's|href="../index.html#dir">(dir)</a>|href="http://savannah.gnu.org/projects/autoconf-archive/">Home Page at Savannah</a>|g' \ | tidy >"$destdir/${out}" -q --indent yes --indent-spaces 1 -wrap 80 --tidy-mark no --hide-comments yes done |