1
0
Fork 0
mirror of https://git.sr.ht/~seirdy/seirdy.one synced 2024-11-14 01:32:11 +00:00

remove obsolete comment

This commit is contained in:
Rohan Kumar 2023-11-25 18:25:37 -08:00
parent c0f7318090
commit 74ff22b8f4
No known key found for this signature in database
GPG key ID: 1E892DB2A5F84479

View file

@ -30,7 +30,6 @@ run_tidy() {
} }
# delete the stylesheet from the html file; we'll re-insert it later. # 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" sed 7d "$html_file" | xmllint --format --encode UTF-8 --noent - | tail -n +2 >"$tmp_file"
{ {
head -n7 "$tmp_file" head -n7 "$tmp_file"