diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..13145a2e --- /dev/null +++ b/Makefile @@ -0,0 +1,19 @@ +# A Makefile for commands I run frequently: + +# Build GitHub Page from docs +gh_pages: + git checkout gh-pages ; \ + git checkout master docs ; \ + git checkout master jrnl ; \ + cd docs ; \ + make html ; \ + cd .. ; \ + cp -r docs/_build/html/* . ; \ + git add * ; \ + git commit -m "Updated docs from master" ; \ + git push -u origin gh-pages ; \ + git checkout master + +# Upload to pipy +dist: + python setup.py publish diff --git a/docs/_themes/jrnl/layout.html b/docs/_themes/jrnl/layout.html index dbacf31a..8cf5e53c 100755 --- a/docs/_themes/jrnl/layout.html +++ b/docs/_themes/jrnl/layout.html @@ -14,7 +14,7 @@ {%- block sidebar2 %}