close <ul> and <pre> at end of file

g2e.awk

@@ -135,6 +135,8 @@ ARGIND==2 && FNR==1{
 
 function finishfile(){
 	# finish writing the previous content file
+	if(is_list){ append("</ul>"); is_list = 0 }
+	if(is_pre){ append("</pre>"); is_pre = 0 }
 	out = out "\t</main>\n  </body>\n</html>"
 	print out > nameout
 }