From dacff1753db6ba443d9c7c72e46eebd96941cb90 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 8 May 2011 17:29:04 -0400 Subject: [PATCH] Add a publish_doc target to the makefile that rsyncs the documentation to my website. --- makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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" \ -- 2.43.2