diff options
| author | Bryce Guinta <bryce.paul.guinta@gmail.com> | 2018-07-31 14:29:02 -0600 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-08-01 08:40:54 +0200 |
| commit | d03d60aabdee9075067caefd44c776ebce0d5c4b (patch) | |
| tree | 36c7cc8dae1204cb13239bdef947fc5579a6a7cf /doc/development_guide | |
| parent | d1dadeaec8f81e6326fe70cc631ca47f4aae78c6 (diff) | |
| download | pylint-git-d03d60aabdee9075067caefd44c776ebce0d5c4b.tar.gz | |
Fix rst section header formatting
Diffstat (limited to 'doc/development_guide')
| -rw-r--r-- | doc/development_guide/documentation.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/development_guide/documentation.rst b/doc/development_guide/documentation.rst index 5b175460f..8c8ca6572 100644 --- a/doc/development_guide/documentation.rst +++ b/doc/development_guide/documentation.rst @@ -1,7 +1,8 @@ .. -*- coding: utf-8 -*- -============== + +=========================== Building the documentation -============== +=========================== We use **tox** for building the documentation:: |