From c894c38cd35a05a763655bfaccaa64212e4895c8 Mon Sep 17 00:00:00 2001 From: jacob Date: Wed, 2 Jun 2010 19:16:12 -0500 Subject: [PATCH] Fixed bug that clipped the end of bodies. --- sphinx/writers/websupport.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/sphinx/writers/websupport.py b/sphinx/writers/websupport.py index a1e59788c..6d255e64c 100644 --- a/sphinx/writers/websupport.py +++ b/sphinx/writers/websupport.py @@ -59,3 +59,8 @@ class WebSupportTranslator(HTMLTranslator): self.in_commentable = False self.body = [] + def depart_document(self, node): + assert(not self.in_commentable) + self.support_document.add_slice(''.join(self.body)) + +