From: Michael Orlitzky Date: Sun, 8 May 2011 21:29:04 +0000 (-0400) Subject: Add a publish_doc target to the makefile that rsyncs the documentation to my website. X-Git-Tag: 0.0.1~299 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=dacff1753db6ba443d9c7c72e46eebd96941cb90;p=spline3.git Add a publish_doc target to the makefile that rsyncs the documentation to my website. --- diff --git a/makefile b/makefile index 84c6d1d..2a70a31 100644 --- 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" \