2022-05-30 16:09:40 -07:00
|
|
|
#!/bin/sh
|
|
|
|
# takes an arg for the output dir.
|
2022-06-01 22:11:40 -07:00
|
|
|
# Runs xhtmlize-single-file.sh on every single html file in the output dir.
|
2022-06-13 08:27:09 -07:00
|
|
|
# exits if xhtmlize-single-file fails.
|
2022-06-01 22:11:40 -07:00
|
|
|
|
|
|
|
set -e -u
|
|
|
|
|
|
|
|
output_dir="$1"
|
|
|
|
script_dir="$(dirname "$0")"
|
|
|
|
|
2023-11-15 09:21:26 -08:00
|
|
|
{
|
|
|
|
printf '\t' && sed -e '7q;d' "$output_dir/index.html"
|
|
|
|
} >"$output_dir/tmp.css"
|
2022-06-01 22:11:40 -07:00
|
|
|
cleanup() {
|
2022-08-01 20:54:25 -07:00
|
|
|
rm -f "$output_dir/tmp.css"
|
2022-06-01 22:11:40 -07:00
|
|
|
}
|
|
|
|
trap cleanup EXIT
|
|
|
|
|
|
|
|
export XMLLINT_INDENT=' '
|
2022-08-01 20:54:25 -07:00
|
|
|
export OUTPUT_DIR="$output_dir"
|
2023-11-15 02:26:52 -08:00
|
|
|
find "$output_dir" -type f -name '*.html' -exec sh "$script_dir/xhtmlize-single-file.sh" {} \;
|
2022-05-30 16:09:40 -07:00
|
|
|
# done
|