diff --git a/_config.yml b/_config.yml index 2f7efbea..83395793 100644 --- a/_config.yml +++ b/_config.yml @@ -1 +1,2 @@ -theme: jekyll-theme-minimal \ No newline at end of file +theme: jekyll-theme-minimal +include: _odoc-theme