diff options
| author | jacob <jacob@panda> | 2010-06-02 19:16:12 -0500 |
|---|---|---|
| committer | jacob <jacob@panda> | 2010-06-02 19:16:12 -0500 |
| commit | c894c38cd35a05a763655bfaccaa64212e4895c8 (patch) | |
| tree | 698c205d964b6013c5649e7849a395cd99e2a764 /sphinx/writers/websupport.py | |
| parent | 9e81b8f003f0b0d055189367c1a701048796644a (diff) | |
| download | sphinx-git-c894c38cd35a05a763655bfaccaa64212e4895c8.tar.gz | |
Fixed bug that clipped the end of bodies.
Diffstat (limited to 'sphinx/writers/websupport.py')
| -rw-r--r-- | sphinx/writers/websupport.py | 5 |
1 files changed, 5 insertions, 0 deletions
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)) + + |