chiark
/
gitweb
/
~ianmdlvl
/
nlopt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3ece1b4
)
custom theme no longer works?
author
Steven G. Johnson
<stevenj@alum.mit.edu>
Fri, 19 Oct 2018 20:12:52 +0000
(16:12 -0400)
committer
GitHub
<noreply@github.com>
Fri, 19 Oct 2018 20:12:52 +0000
(16:12 -0400)
mkdocs.yml
patch
|
blob
|
history
diff --git
a/mkdocs.yml
b/mkdocs.yml
index 0aa98bc617891af3a8aea481b2aff198c2f2c98b..b75b2c227a781021298db1f78c9997854ff0365f 100644
(file)
--- a/
mkdocs.yml
+++ b/
mkdocs.yml
@@
-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: