#! /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" out="${n//_005f/_}" name="${out%%.html}" sed <"$n" \ -e 's|||' \ -e "s|||" \ -e 's|_005f|_|g' \ -e 's|href="../index.html#dir">(dir)|href="http://savannah.gnu.org/projects/autoconf-archive/">Home Page at Savannah|g' \ | tidy >"$destdir/${out}" -q --indent yes --indent-spaces 1 -wrap 80 --tidy-mark no --hide-comments yes done