Fixed API doc generator scripts.

Boolector · Jul 1, 2018 · 698cd9d · 698cd9d
1 parent f470e9c
commit 698cd9d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/mkdocopts.py b/doc/mkdocopts.py
@@ -50,7 +50,11 @@
         opts_str.append('\n')
 
     with open('cboolector_options.rst', 'w') as file:
+        file.write('Boolector Options\n')
+        file.write('-----------------\n')
         file.write(''.join(opts_str))
 
     with open('pyboolector_options.rst', 'w') as file:
+        file.write('Boolector Options\n')
+        file.write('-----------------\n')
         file.write(''.join(opts_str))