(texi2html.py):  Minor improvement to HTML 3.0 output for code examples.
diff --git a/Doc/texi2html.py b/Doc/texi2html.py
index d1c1a74..22aa1fb 100644
--- a/Doc/texi2html.py
+++ b/Doc/texi2html.py
@@ -1269,7 +1269,7 @@
 	self.nofill = self.nofill + 1
 	self.write('<PRE>')
     def end_example(self):
-	self.write('</PRE>')
+	self.write('</PRE>\n')
 	self.nofill = self.nofill - 1
 
     bgn_lisp = bgn_example # Synonym when contents are executable lisp code
@@ -1434,8 +1434,13 @@
     def end_quotation(self): self.write('</BQ>\n')
 
     def bgn_example(self, args):
+	# this use of <CODE> would not be legal in HTML 2.0,
+	# but is in more recent DTDs.
 	self.nofill = self.nofill + 1
-	self.write('<PRE CLASS=example>')
+	self.write('<PRE CLASS=example><CODE>')
+    def end_example(self):
+	self.write("</CODE></PRE>\n")
+	self.nofill = self.nofill - 1
 
     def bgn_flushleft(self, args):
 	self.nofill = self.nofill + 1