Skip to content

Commit

Permalink
[devtools] Fix bad HTML, caught by HTM8 parser
Browse files Browse the repository at this point in the history
- test/wild - typo in tag
- test/stateful - extra tag

Probably could have used 'tidy' too.
  • Loading branch information
Andy C committed Jan 10, 2025
1 parent fd5cc5f commit e6e0c65
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
5 changes: 3 additions & 2 deletions data_lang/htm8-test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -91,12 +91,13 @@ test-site() {
popd
}

readonly WWZ_DIR=_tmp/8899
readonly SOIL_ID=8913
readonly WWZ_DIR=_tmp/$SOIL_ID

sync-wwz() {
mkdir -p $WWZ_DIR
rsync --archive --verbose \
op.oilshell.org:op.oilshell.org/uuu/github-jobs/8899/ $WWZ_DIR/
op.oilshell.org:op.oilshell.org/uuu/github-jobs/$SOIL_ID/ $WWZ_DIR/
}

extract-wwz() {
Expand Down
1 change: 0 additions & 1 deletion test/stateful.sh
Original file line number Diff line number Diff line change
Expand Up @@ -198,7 +198,6 @@ EOF
cat $results_tmp

cat <<EOF
</table>
</body>
</html>
EOF
Expand Down
2 changes: 1 addition & 1 deletion test/wild_report.py
Original file line number Diff line number Diff line change
Expand Up @@ -326,7 +326,7 @@ def MakeHtmlGroup(title_str, body_str):
{contents|html}
</pre>
</td>
<tr/>
</tr>
{.end}
</table>
Expand Down

0 comments on commit e6e0c65

Please sign in to comment.