https://github.com/jgralab/funnyqt
Revision f6a709a1c38eaf3d2934a78eae0bf879ee634761 authored by Tassilo Horn on 03 December 2014, 07:35:03 UTC, committed by Tassilo Horn on 03 December 2014, 07:35:03 UTC
1 parent d449aca
Raw File
Tip revision: f6a709a1c38eaf3d2934a78eae0bf879ee634761 authored by Tassilo Horn on 03 December 2014, 07:35:03 UTC
Fix License Badge (now for real)
Tip revision: f6a709a
make-and-upload-docs.sh
#!/bin/zsh

echo "Deleting the old docs"
rm docs/*

lein with-profile docs marg && lein with-profile docs html5-docs

if [[ $? -eq 0 ]]; then
    ssh horn@helena.uni-koblenz.de 'rm /home/horn/public_html/funnyqt-docs/*'
    scp -r docs/* horn@linux.uni-koblenz.de:/home/horn/public_html/funnyqt-docs/
    ssh horn@linux.uni-koblenz.de \
	'cd /home/horn/public_html/funnyqt-docs && chmod -R 644 *'
    echo Fini.
else
    echo Error.
fi


back to top