Use XML-entity-replace error handling in HTML output files. Fixes test_build.test_htmlhelp.

This commit is contained in:
Georg Brandl
2011-01-04 00:17:08 +01:00
parent a484a62f11
commit 6219286df9

View File

@@ -714,7 +714,7 @@ class StandaloneHTMLBuilder(Builder):
# outfilename's path is in general different from self.outdir # outfilename's path is in general different from self.outdir
ensuredir(path.dirname(outfilename)) ensuredir(path.dirname(outfilename))
try: try:
f = codecs.open(outfilename, 'w', encoding) f = codecs.open(outfilename, 'w', encoding, 'xmlcharrefreplace')
try: try:
f.write(output) f.write(output)
finally: finally: