Move files

Upload ontologies to GSI server/ontology.sh

@@ -0,0 +1,31 @@
+if [ $# -lt 1 ]
+  then
+    ONTO=onyx
+  else
+    ONTO=$1
+fi
+if [ $# -lt 2 ]
+  then
+    DIR=~/Doctorado/Ontologies/Onyx
+  else
+    DIR=$2
+fi
+if [ $# -lt 3 ]
+  then
+    REMOTE=gsi-web@web-home.dit.upm.es:lib/www/gsi/ontologies/
+  else
+    REMOTE=$3
+fi
+if [ $# -lt 4 ]
+  then
+    NS=http://www.gsi.dit.upm.es/ontologies/$ONTO/ns#
+  else
+    NS=$4
+fi
+
+echo "Generating docs for $ONTO from: $DIR"
+echo "Namespace: $NS"
+
+python specgen6.py --indir=$DIR --ns=$NS  --prefix=$ONTO --ontofile=$ONTO.owl --outdir=$DIR/spec/latest --templatedir= --outfile=index.html
+echo "Uploading to $REMOTE"
+rsync -r --links --copy-unsafe-links $DIR/spec/ $REMOTE