Index: extra/generate_html/inst/get_html_options.m
===================================================================
--- extra/generate_html/inst/get_html_options.m (revision 12685)
+++ extra/generate_html/inst/get_html_options.m (working copy)
@@ -92,7 +92,7 @@
·\n\
·\n\
·\n\
- \n\
+ \n\
\n\
\n\
\n\