mirror of
https://git.sr.ht/~seirdy/seirdy.one
synced 2024-11-10 00:12:09 +00:00
a2c919ca2e
We don't need to indent children of <body> or <head> since the element type will give away the parent.
19 lines
480 B
Bash
19 lines
480 B
Bash
#!/bin/sh
|
|
# takes an arg for the output dir.
|
|
# Runs xhtmlize-single-file.sh on every single html file in the output dir.
|
|
# exits if xhtmlize-single-file fails.
|
|
|
|
set -e -u
|
|
|
|
output_dir="$1"
|
|
script_dir="$(dirname "$0")"
|
|
|
|
printf '<style>%s</style>\n' "$(htmlq -t style <"$output_dir/index.html")" >tmp.css
|
|
cleanup() {
|
|
rm -f "tmp.css"
|
|
}
|
|
trap cleanup EXIT
|
|
|
|
export XMLLINT_INDENT=' '
|
|
find "$output_dir" -type f -name '*.html' | xargs -n1 sh "$script_dir/xhtmlize-single-file.sh"
|
|
# done
|