chiark / gitweb /
custom theme no longer works?
authorSteven G. Johnson <stevenj@alum.mit.edu>
Fri, 19 Oct 2018 20:12:52 +0000 (16:12 -0400)
committerGitHub <noreply@github.com>
Fri, 19 Oct 2018 20:12:52 +0000 (16:12 -0400)
mkdocs.yml

index 0aa98bc617891af3a8aea481b2aff198c2f2c98b..b75b2c227a781021298db1f78c9997854ff0365f 100644 (file)
@@ -5,7 +5,7 @@ repo_url: https://github.com/stevengj/NLopt/
 docs_dir: 'doc/docs'
 site_dir: 'doc/site'
 
-theme_dir: 'doc/nlopt-mkdocs-theme'
+theme_dir: 'doc/nlopt-mkdocs-theme'
 theme: readthedocs
 
 python: