diff options
author | Peter Simons <simons@cryp.to> | 2013-02-19 10:51:06 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2013-02-19 10:51:06 +0100 |
commit | 63fdbe0b99913e46f515a8da3c657ab3b61a4668 (patch) | |
tree | b48e765214305aad84be9c60d978b2c259eb8d04 /fix-website.sh | |
parent | 5f8f5b4348a1ae6df0eedbaef24a48c94d5c1eb5 (diff) | |
download | autoconf-archive-63fdbe0b99913e46f515a8da3c657ab3b61a4668.tar.gz |
fix-website.sh: adapt the script to the HTML code generated by texinfo 5.0
Diffstat (limited to 'fix-website.sh')
-rwxr-xr-x | fix-website.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/fix-website.sh b/fix-website.sh index 18d54a8..f512a22 100755 --- a/fix-website.sh +++ b/fix-website.sh @@ -1,6 +1,6 @@ #! /usr/bin/env bash -set -eu +set -u shopt -s nullglob cd "doc/manual/html_node" @@ -17,6 +17,7 @@ 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.gnu.org/projects/autoconf-archive/">Home Page at Savannah</a>|g' \ + -e 's|<a href="../dir/index.html" accesskey="u" rel="up">(dir)</a>|<a href="http://savannah.gnu.org/projects/autoconf-archive/" accesskey="u" rel="up">Home Page at Savannah</a>|' \ + -e 's|<link href="\.\./dir/index.html" rel="up" title="(dir)">|<link href="http://savannah.gnu.org/projects/autoconf-archive/" rel="up" title="Home Page at Savannah">|' \ | tidy >"$destdir/${out}" -q --indent yes --indent-spaces 1 -wrap 80 --tidy-mark no --hide-comments yes done |