diff --git a/mkdocs.yml b/mkdocs.yml index dd4ce716e..e8786723c 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -6,7 +6,6 @@ pages: - Ideas: 'ideas.md' - Test Bench: 'tb.md' - Synthesis Results: 'synthesis.md' - - Coverage Report: 'covhtmlreport' # cosmo, readthedocs, journal, slate, material, readable, spacelab, united, bootstrap, simplex, flatly, yeti, amelia, cerulean, cyborg, mkdocs theme: 'flatly'