diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2021-12-26 19:03:09 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2021-12-27 10:49:11 -0700 |
| commit | 5c4e7d1c18e9c9afbc685fceefc982e6c3d0c6ec (patch) | |
| tree | 697ed5768dd083256f0868ad0133eeb25e0f69eb /doc | |
| parent | c0aec4adcd899ff52fc2737eb90e3c4438d322cd (diff) | |
| download | consfigurator-5c4e7d1c18e9c9afbc685fceefc982e6c3d0c6ec.tar.gz | |
Sphinx configuration: set texinfo_documents
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/conf.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 42004f8..560b997 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -55,3 +55,11 @@ html_theme = 'sphinx_rtd_theme' # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['_static'] + + +# -- Options for Texinfo output ---------------------------------------------- + +texinfo_documents = [("index", "consfigurator", "Consfigurator user's manual", + "Sean Whitton", "Consfigurator", + "Lisp declarative configuration management system", + "System administration", False)] |