.github/workflows/compare-manuals.sh

   1 #!/usr/bin/env nix-shell
   2 #! nix-shell -i bash -p html-tidy
   3
   4 set -euo pipefail
   5 shopt -s inherit_errexit
   6
   7 normalize() {
   8   tidy \
   9       --anchor-as-name no \
  10       --coerce-endtags no \
  11       --escape-scripts no \
  12       --fix-backslash no \
  13       --fix-style-tags no \
  14       --fix-uri no \
  15       --indent yes \
  16       --wrap 0 \
  17       < "$1" \
  18       2> /dev/null
  19 }
  20
  21 diff -U3 <(normalize "$1") <(normalize "$2")