#!/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
)