Haddock build script
authorJoachim Breitner <mail@joachim-breitner.de>
Sat, 13 Jun 2009 10:30:26 +0000 (12:30 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Sat, 13 Jun 2009 10:30:26 +0000 (12:30 +0200)
makedocs.sh [new file with mode: 0755]

diff --git a/makedocs.sh b/makedocs.sh
new file mode 100755 (executable)
index 0000000..a6e9a6e
--- /dev/null
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+set -e 
+
+cd $(dirname $0)
+
+haddock -o doc/ -h $(find src/Lseed -name \*.hs)
+
+if [ "$USER" = "jojo" ]
+then
+       rsync -rva --delete doc/ bl0rg:public_html/L-seed-doc/
+fi