simon-git: putty-wishlist (main): Jacob Nevins

[Commits to Tartarus hosted VCS]

TL;DR:
  b962f14 bugs2html: use lower-case HTML tags.

Repository:     https://git.tartarus.org/simon/putty-wishlist.git
On the web:     https://git.tartarus.org/?p=simon/putty-wishlist.git
Branch updated: main
Committer:      Jacob Nevins <jacobn at chiark.greenend.org.uk>
Date:           2022-10-30 13:58:28

commit b962f1489c6a0c3bd1ae390271a434fb0b9755b1
web diff https://git.tartarus.org/?p=simon/putty-wishlist.git;a=commitdiff;h=b962f1489c6a0c3bd1ae390271a434fb0b9755b1;hp=205492a43ea820058da3f5c6968876decbacb532
Author: Jacob Nevins <jacobn at chiark.greenend.org.uk>
Date:   Sun Oct 30 11:32:17 2022 +0000

    bugs2html: use lower-case HTML tags.
    
    We mostly stopped using <SHOUTY> tags in this script when the website
    was converted to Mason (98ec468a34), but </BODY></HTML> were missed in
    the index and individual bug pages. Now we emit only lower-case HTML
    tags.
    
    This won't have a net effect on the generated website -- these tags get
    replaced when the wishlist is merged in, although that process is itself
    sensitive to the case of the input tags, and will need adjusting in the
    putty-website machinery.
    
    The inconsistency was just bugging me, and probably indirectly caused an
    actual bug: cvelist.html already used lower-case tags here, but the
    Mason machinery expected upper-case, leading to bad output; this was
    fixed in putty-website 370e5d7360.

 control/bugs2html.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)