From 865ae601f9110e76f5c4f1d915e6506bcf2d0796 Mon Sep 17 00:00:00 2001 From: Manuel Ebert Date: Tue, 5 Nov 2013 11:59:32 -0800 Subject: [PATCH] Fixes logo path on docs and introduces makefile --- Makefile | 19 +++++++++++++++++++ docs/_themes/jrnl/layout.html | 2 +- 2 files changed, 20 insertions(+), 1 deletion(-) create mode 100644 Makefile 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 %}