diff options
| author | Simon Chopin <chopin.simon@gmail.com> | 2012-07-23 19:50:05 +0200 |
|---|---|---|
| committer | Simon Chopin <chopin.simon@gmail.com> | 2012-07-23 19:50:05 +0200 |
| commit | 7f1ca9529518f23d2c378d10b6db525277a7fc6a (patch) | |
| tree | 9c99ba96d0b2a6e4d88b73cb2010c9974aa8168b /docs/source/conf.py | |
| parent | f6cb56522d7c0be6c373727313281449de6908d1 (diff) | |
Add a hidden TOC for the manpage
This allows to silence the warnings while making it possible to build
the manpage from source.
Diffstat (limited to 'docs/source/conf.py')
| -rw-r--r-- | docs/source/conf.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index dd2cccc1..a415a655 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -94,7 +94,6 @@ release = version # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. exclude_patterns = [ -'manpage.rst' ] # The reST default role (used for this markup: `text`) to use for all documents. |