# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1484241516 28800
# Node ID ff71a3e7fab0d05c5a0c73f1b1581c2916221e11
# Parent  f5f29660fa6a3a9846aebaa18ac2963204f548af
html: Don't make a notes section if there are no notes.

diff -r f5f29660fa6a -r ff71a3e7fab0 jouvence/html.py
--- a/jouvence/html.py	Thu Jan 12 09:18:20 2017 -0800
+++ b/jouvence/html.py	Thu Jan 12 09:18:36 2017 -0800
@@ -54,9 +54,10 @@
     def write_footer(self, doc, out):
         out.write('</div>\n')  # End `jouvence-main`
 
-        out.write('<div class="jouvence-notes">\n')
-        self._render_footnotes(out)
-        out.write('</div>\n')  # End `jouvence-notes`
+        if self.text_renderer.notes:
+            out.write('<div class="jouvence-notes">\n')
+            self._render_footnotes(out)
+            out.write('</div>\n')  # End `jouvence-notes`
 
         out.write('</div>\n')  # End `jouvence-doc`