#! /usr/bin/env 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|(dir)|Home Page at Savannah|' \
-e 's|||' \
-e 's|