From 6dc5b7469cee015a3bcf25a1543123da6c8317fe Mon Sep 17 00:00:00 2001
From: Gereon Kremer <nafur42@gmail.com>
Date: Wed, 19 May 2021 07:55:53 +0200
Subject: Generate command line options for sphinx docs (#6555)

This PR adds documentation about the command line options to the sphinx documentation. It is mostly a reformatted version of what --help would print.
---
 docs/conf.py.in | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'docs/conf.py.in')

diff --git a/docs/conf.py.in b/docs/conf.py.in
index f6e75b9b5..07a4d8a76 100644
--- a/docs/conf.py.in
+++ b/docs/conf.py.in
@@ -43,6 +43,7 @@ extensions = [
         'sphinxcontrib.bibtex',
         'sphinx_tabs.tabs',
         'examples',
+        'include_build_file',
 ]
 
 bibtex_bibfiles = ['references.bib']
@@ -69,3 +70,6 @@ html_css_files = ['custom.css']
 # -- Breathe configuration ---------------------------------------------------
 breathe_default_project = "cvc5"
 breathe_domain_by_extension = {"h" : "cpp"}
+
+# where to look for include-build-file
+ibf_folders = ['${CMAKE_CURRENT_BINARY_DIR}']
-- 
cgit v1.2.3