From 74ff22b8f4e344605535bbb4d4e07aaac339206e Mon Sep 17 00:00:00 2001 From: Rohan Kumar Date: Sat, 25 Nov 2023 18:25:37 -0800 Subject: [PATCH] remove obsolete comment --- scripts/xhtmlize-single-file.sh | 1 - 1 file changed, 1 deletion(-) 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"