From 6aa432e55d9227b58dbe3d20518eb7adfa057070 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Tue, 17 Jul 2018 01:24:49 +0200
Subject: [PATCH 1/1] handlineg of <select multiple>

---
 html-sh.sed | 1 +
 1 file changed, 1 insertion(+)

diff --git a/html-sh.sed b/html-sh.sed
index d7a7573..d1c70b8 100755
--- a/html-sh.sed
+++ b/html-sh.sed
@@ -48,6 +48,7 @@ t attribs;
 s;(<input ([^>]+ )?type=(radio|"radio"|'radio')( [^>]+)?)>[ \t]*checked;\1 checked="checked">;g;
 s;(<input ([^>]+ )?type=(checkbox|"checkbox"|'checkbox')( [^>]+)?)>[ \t]*checked;\1 checked="checked">;g;
 s;(<option( [^>]+)?)>[ \t]*(checked|selected);\1 selected="selected">;g;
+s;(<select( [^>]+)?)>[ \t]*multiple;\1 multiple="multiple">;g;
 t attribs;
 
 s;(<[^/][^>]*>)[ \t]*;\1;g;
-- 
2.39.2