diff options
| author | Martin Liska <mliska@suse.cz> | 2021-05-10 15:51:12 +0200 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2021-05-14 10:51:02 +0200 |
| commit | 3489257a33d69d9d3778b585558adb7dc33eec6d (patch) | |
| tree | dae30956c8dd3ad74325de5c222e82d3674ee0ae /gcc/ada/doc/share/conf.py | |
| parent | ae3e0b8bc204d1f6ce858c2637e1e72b636af3a2 (diff) | |
| download | gcc-3489257a33d69d9d3778b585558adb7dc33eec6d.zip gcc-3489257a33d69d9d3778b585558adb7dc33eec6d.tar.gz gcc-3489257a33d69d9d3778b585558adb7dc33eec6d.tar.bz2 | |
Port gnat-style to Sphinx.
gcc/ada/ChangeLog:
* doc/Makefile: Add gnat-style target.
* doc/share/conf.py: Likewise.
* doc/gnat-style.rst: New file.
Diffstat (limited to 'gcc/ada/doc/share/conf.py')
| -rw-r--r-- | gcc/ada/doc/share/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/doc/share/conf.py b/gcc/ada/doc/share/conf.py index 705a678..755c3a6 100644 --- a/gcc/ada/doc/share/conf.py +++ b/gcc/ada/doc/share/conf.py @@ -20,7 +20,9 @@ DOCS = { 'gnat_rm': { 'title': 'GNAT Reference Manual'}, 'gnat_ugn': { - 'title': 'GNAT User\'s Guide for Native Platforms'}} + 'title': 'GNAT User\'s Guide for Native Platforms'}, + 'gnat-style': { + 'title': 'GNAT Coding Style: A Guide for GNAT Developers'}} # Then retrieve the source directory root_source_dir = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) |