J. Fernando Sánchez 9 years ago
commit d36439a7d5

@ -0,0 +1,27 @@
if [ $# -lt 3 ]
then
REMOTE=gsi-web@web-home.dit.upm.es:lib/www/gsi/ontologies/
else
REMOTE=$3
fi
if [ $# -lt 2 ]
then
DIR=~/Doctorado/Ontologies/onyx
else
DIR=$2
fi
if [ $# -lt 1 ]
then
ONTO=onyx
else
ONTO=$1
fi
echo "Generating docs for $ONTO from: $DIR"
python specgen6.py --indir=$DIR --ns='http://www.gsi.dit.upm.es/ontologies/$ONTO/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
Loading…
Cancel
Save