mirror of
https://github.com/mpusz/mp-units.git
synced 2025-08-02 11:54:27 +02:00
docs: READTHEDOCS build support removed
This commit is contained in:
22
docs/conf.py
22
docs/conf.py
@@ -121,29 +121,9 @@ html_css_files = ["css/custom.css"]
|
|||||||
# -- Breathe configuration ---------------------------------------------------
|
# -- Breathe configuration ---------------------------------------------------
|
||||||
|
|
||||||
|
|
||||||
def configureDoxyfile(input_dir, output_dir):
|
|
||||||
with open("Doxyfile.in", "r") as file:
|
|
||||||
filedata = file.read()
|
|
||||||
|
|
||||||
filedata = filedata.replace("@DOXYGEN_INPUT_DIR@", input_dir)
|
|
||||||
filedata = filedata.replace("@DOXYGEN_OUTPUT_DIR@", output_dir)
|
|
||||||
|
|
||||||
with open("Doxyfile", "w") as file:
|
|
||||||
file.write(filedata)
|
|
||||||
|
|
||||||
|
|
||||||
# Check if we're running on Read the Docs' servers
|
|
||||||
read_the_docs_build = os.environ.get("READTHEDOCS", None) == "True"
|
|
||||||
|
|
||||||
# This should be a dictionary in which the keys are project names and the values
|
# This should be a dictionary in which the keys are project names and the values
|
||||||
# are paths to the folder containing the doxygen output for that project.
|
# are paths to the folder containing the doxygen output for that project.
|
||||||
breathe_projects = {}
|
breathe_projects = {"mp-units": "build/xml"}
|
||||||
if read_the_docs_build:
|
|
||||||
input_dir = "../src"
|
|
||||||
output_dir = "build"
|
|
||||||
configureDoxyfile(input_dir, output_dir)
|
|
||||||
subprocess.call("doxygen", shell=True)
|
|
||||||
breathe_projects["mp-units"] = output_dir + "/xml"
|
|
||||||
|
|
||||||
# This should match one of the keys in the breathe_projects dictionary and
|
# This should match one of the keys in the breathe_projects dictionary and
|
||||||
# indicates which project should be used when the project is not specified on
|
# indicates which project should be used when the project is not specified on
|
||||||
|
Reference in New Issue
Block a user