Add a publish_doc target to the makefile that rsyncs the documentation to my website.

diff --git a/makefile b/makefile
index 84c6d1d0f0f3ff0bd2d304cc710c7313eaf0db93..2a70a3178d04681aa517945a993d5498d5ed56d8 100644 (file)
--- a/makefile
+++ b/makefile
@@ -7,7 +7,7 @@ GHC_WARNINGS += -fwarn-type-defaults
 
 BIN := spline3
 
-.PHONY : test doc src_html hlint
+.PHONY : test publish_doc doc src_html hlint
 
 $(BIN): src/*.hs
        ghc -O2 $(GHC_WARNINGS) --make -o bin/${BIN} src/*.hs
@@ -68,6 +68,11 @@ doc: src_html
          --source-entity="src/%{MODULE/.//}.html#%{NAME}" \
          src/*.hs src/Tests/*.hs
 
+SSH_USER=root@michael.orlitzky.com
+PUBLIC_DOCDIR=/var/www/orlitzky.com/michael/public/spline3/
+publish_doc: doc
+       rsync -avz -e ssh $(SSH_USER):$(PUBLIC_DOCDIR) ./doc/html/ 
+
 hlint:
        hlint --ignore="Use camelCase"     \
              --ignore="Redundant bracket" \