diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/bupa | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/bupa b/scripts/bupa index e87ca4c..3802982 100755 --- a/scripts/bupa +++ b/scripts/bupa @@ -29,7 +29,8 @@ class Page(object): def reST_to_html(s, id_prefix='id'): formated = core.publish_parts(s, writer_name='html4css1', settings_overrides={'footnote_references': 'superscript', - 'auto_id_prefix': str(id_prefix) + '-',}) + 'auto_id_prefix': str(id_prefix) + '-', + 'syntax_highlight': 'short'}) return formated['fragment'] def filename_to_id(file_name): |