diff options
author | Araq <rumpf_a@web.de> | 2015-07-14 01:36:49 +0200 |
---|---|---|
committer | Araq <rumpf_a@web.de> | 2015-07-14 01:37:09 +0200 |
commit | f7bdc205c7d3da8d80e9dec11e6d648ab433af5f (patch) | |
tree | 3e2ebb90e71669d89185158768f8815f70056ddf /config/nimdoc.cfg | |
parent | e5d89881757e9abcf6daec79ad6293bcde49d395 (diff) | |
download | Nim-f7bdc205c7d3da8d80e9dec11e6d648ab433af5f.tar.gz |
documentation generator emits configurable html for code listings
Diffstat (limited to 'config/nimdoc.cfg')
-rw-r--r-- | config/nimdoc.cfg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 57d4cc988..4773258cf 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -86,6 +86,9 @@ $moduledesc $content """ +doc.listing_start = "<pre class = \"listing\">" +doc.listing_end = "</pre>" + # * $analytics: Google analytics location, includes <script> tags doc.file = """<?xml version="1.0" encoding="utf-8" ?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |