From 698cd9d69f757997f0e44668dc8091efeec498bf Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Sun, 1 Jul 2018 13:13:36 -0700 Subject: [PATCH] Fixed API doc generator scripts. --- doc/mkdocopts.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/mkdocopts.py b/doc/mkdocopts.py index 250dd8c66..980fb9874 100644 --- 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))