aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc/gnat_ugn/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/doc/gnat_ugn/conf.py')
-rw-r--r--gcc/ada/doc/gnat_ugn/conf.py26
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())