chore: housekeeping

This commit is contained in:
Jensun Ravichandran
2022-03-10 14:46:56 +01:00
parent 236cbbc4d2
commit 784a963527
3 changed files with 4 additions and 3 deletions

View File

@@ -120,7 +120,7 @@ html_css_files = [
# -- Options for HTMLHelp output ------------------------------------------
# Output file base name for HTML help builder.
htmlhelp_basename = "protoflowdoc"
htmlhelp_basename = "prototorchdoc"
# -- Options for LaTeX output ---------------------------------------------