Merge branch 'dev'

probmods · Jun 23, 2016 · f23943d · f23943d
2 parents fad4487 + fa55227
commit f23943d
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 8 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,6 +5,7 @@ node_modules
 npm-debug.log
 bundle/
 docs/_build
+docs/_static
 docs/_templates
 src/dists.js
 src/inference/enumerate.js

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
diff --git a/docs/conf.py b/docs/conf.py
@@ -141,11 +141,6 @@
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
-# https://obda.net/blog/custom-css-and-js-for-sphinx-generated-documentation/
-html_context = {
-    'css_files': ['_static/custom.css']
-}
-
 # Add any extra paths that contain custom files (such as robots.txt or
 # .htaccess) here, relative to this directory. These files are copied
 # directly to the root of the documentation.

diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "webppl",
   "description": "Probabilistic programming for the web",
-  "version": "0.8.0",
+  "version": "0.8.1",
   "author": "webppl contributors",
   "main": "src/main.js",
   "repository": {