diff options
author | Peter Simons <simons@cryp.to> | 2009-12-18 01:02:03 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2009-12-18 01:02:03 +0100 |
commit | 423e44c801144c2d6b9705fe676de057469a9b8d (patch) | |
tree | c699ebbdb59bef6e34b0b46b82b3e6b009652028 /fix-website.sh | |
parent | be088a4b940d399c5062c5e9950803e6c0865c5e (diff) | |
download | autoconf-archive-423e44c801144c2d6b9705fe676de057469a9b8d.tar.gz |
fix-website.sh: massage web site output from web-manual to fit our directory layout
Diffstat (limited to 'fix-website.sh')
-rwxr-xr-x | fix-website.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/fix-website.sh b/fix-website.sh new file mode 100755 index 0000000..7261ee5 --- /dev/null +++ b/fix-website.sh @@ -0,0 +1,26 @@ +#! /bin/bash + +set -eu +shopt -s nullglob + +cd "doc/manual/html_node" +destdir="../html" + +rm -rf "$destdir" +mkdir -p "$destdir" + +for n in *.html; do + echo fixing "$n" + case "$n" in + index.html) + m="autoconf-archive.html" + ;; + *) + m="${n//_005f/_}" + ;; + esac + sed <"$n" >"$destdir/$m" \ + -e 's|_005f|_|g' \ + -e 's|href="index.html|href="autoconf-archive.html|g' \ + -e 's|href="../index.html|href="index.html|g' +done |