Skip to content

Commit

Permalink
Merge pull request #264 from ndw/fix-diffs
Browse files Browse the repository at this point in the history
Fix diffs
  • Loading branch information
ndw authored Aug 2, 2024
2 parents 5c7e431 + 1db3018 commit 97cc709
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build-tools/autodiff.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ fi
curl -s -o /tmp/A.$PID.html https://invisiblexml.org/$SPEC/index.html

# Make the diff version
java -jar tools/deltaxml/command-14.1.0.jar compare xhtml-patch \
java -jar tools/deltaxml/command-15.0.2.jar compare xhtml-patch \
/tmp/A.$PID.html build/current/index.html /tmp/autodiff.$PID.html

# Patch the diff version and make it HTML5
Expand Down

0 comments on commit 97cc709

Please sign in to comment.