#!/bin/bash set -xe shopt -s globstar rm -Rf xlib-manual test -e xlib-manual.tar.gz || \ wget https://tronche.com/gui/x/xlib/xlib-manual.tar.gz tar xzvf xlib-manual.tar.gz mv xlib xlib-manual ( cd xlib-manual # Top-level index.html not included in tarball wget https://tronche.com/gui/x/xlib/ # Probably requires GNU sed sed -i -E 's_(HREF="[^:"]+/)"_\1index.html"_g' **/*.html sed -i -E 's_(HREF="[^"]+/)(#[^"]+")_\1index.html\2_g' **/*.html sed -i -E 's_(HREF=")/gui/x/icccm/([^"]+)"_\1../icccm/\2_g' **/*.html )