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