diff --git a/docs/deploy-ida.sh b/docs/deploy-ida.sh new file mode 100644 index 0000000000000000000000000000000000000000..72dfb1c54e818cb63478f414ca6400e5cd33f494 --- /dev/null +++ b/docs/deploy-ida.sh @@ -0,0 +1,2 @@ +#!/bin/sh +scp -r _build/html/* davbe125@remote-und.ida.liu.se:/wwwpub/davbe125/sc2/