diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-16 17:26:02 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-21 02:45:14 +0200 |
| commit | 1b1d5ed1b17ed00d89db617b2c7f2cd41eee9c50 (patch) | |
| tree | 9d1005b071f7484e05eb7f750fe43f3318c059be /Documentation | |
| parent | 73851f382fb5073a30dcbf0103d9ba98f3ee43e6 (diff) | |
| download | sparse-dev-1b1d5ed1b17ed00d89db617b2c7f2cd41eee9c50.tar.gz | |
doc: set primary domain to C
This doesn't change much but allows to be a bit more lazy and
write
.. <directive>::
.. code-block::
instead od
.. c:<directive>::
.. code-block:: c
I understood that this should also show in the index "... (function)"
instead of "... (C function)" but this doesn't seems to be the case.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/conf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index cfb0be7f..86f1dc47 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -60,6 +60,9 @@ release = next(open('../Makefile', 'r')).split('=')[1].rstrip() # The short X.Y version. version = release.split('-')[0] +# it's a C project, so: +primary_domain = 'c' + # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. # |