manual docs publishing

Author: henryk-modzelewski

Diff for: .gitignore

@@ -4,3 +4,4 @@
 *.jl.mem
 *.swp
 docs/build
+docs/gh-pages

Diff for: README.md

@@ -32,7 +32,7 @@ After switching to package manager prompt (using ']') type:
 
 ## Documentation (more to come)
 
-For now it is just [REFERENCE guide](REFERENCE.md).
+For now it is just [REFERENCE guide](https://slimgroup.github.io/JOLI.jl).
 
 ## Examples (more to come)
 

Diff for: docs/runmake

@@ -1,8 +1,7 @@
 #!/bin/bash
 set -x
 
-rm -rvf build
+rm -rf build
 julia make.jl || exit 1
-#test -e build/index.md || exit 1
-#mv -fv build/index.md ../REFERENCE.md
-#perl -pi -e 's/index\.md/REFERENCE.md/g' ../REFERENCE.md
+test -e build/index.html || exit 1
+open build/index.html

Diff for: docs/runpublish

@@ -0,0 +1,12 @@
+#!/bin/bash
+set -x
+
+rm -rf gh-pages
+test -e build/index.html || exit 1
+git clone --quiet --branch gh-pages --single-branch [email protected]:slimgroup/JOLI.jl.git gh-pages || exit 1
+cd gh-pages || exit 1
+git checkout gh-pages || exit 1
+rsync -avH ../build/ ./ || exit 1
+git add --all || exit 1
+git commit -m "Docs on $(date)" || exit 1
+git push