diff --git a/scripts/xhtmlize-single-file.sh b/scripts/xhtmlize-single-file.sh index e6374a4..39e5a4f 100644 --- a/scripts/xhtmlize-single-file.sh +++ b/scripts/xhtmlize-single-file.sh @@ -30,7 +30,6 @@ run_tidy() { } # delete the stylesheet from the html file; we'll re-insert it later. -# Also remove two indentation levels sed 7d "$html_file" | xmllint --format --encode UTF-8 --noent - | tail -n +2 >"$tmp_file" { head -n7 "$tmp_file"