+ html {<dt>} [ lindex $targets($t) 0]
+ html {<dd>}
+ set databases [lindex $targets($t) 1]
+
+ set desc [lindex $targets($t) 4]
+ if {$desc != ""} {
+ html "<em>$desc</em><br>\n"
+ }
+ foreach d $databases {
+ html {<input type="checkbox" name="target"}
+ html { value="} $t + $d {"> } $d
+ }