diff options
Diffstat (limited to 'gcc/ada/doc/gnat_ugn/conf.py')
-rw-r--r-- | gcc/ada/doc/gnat_ugn/conf.py | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/ada/doc/gnat_ugn/conf.py b/gcc/ada/doc/gnat_ugn/conf.py new file mode 100644 index 0000000..94e3c07 --- /dev/null +++ b/gcc/ada/doc/gnat_ugn/conf.py @@ -0,0 +1,26 @@ +# Configuration file for the Sphinx documentation builder. + +import sys +sys.path.append('../share') + +from adabaseconf import * + +name = 'gnat_ugn' +project = "GNAT User's Guide for Native Platforms" +authors = 'AdaCore' + +set_latex_elements(latex_elements, project) + +# Grouping the document tree into Texinfo files. List of tuples +# (source start file, target name, title, author, +# dir menu entry, description, category) +latex_documents = [ + ('index', f'{name}.tex', project, authors, 'manual'), +] + +texinfo_documents = [ + ('index', name, project, authors, None, None, None, True) +] + +tags.add(get_gnat_build_type()) +set_common(name, globals()) |