Add 'repos/cbe892fe3322a382765a/' from commit '93dff6cb1260959c972f1fe147cb6c33c2f46ddc'

git-subtree-dir: repos/cbe892fe3322a382765a
git-subtree-mainline: 0a7cd0d6f1
git-subtree-split: 93dff6cb12
master
J. Fernando Sánchez 3 years ago
commit 1ed0b776c3

@ -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
Loading…
Cancel
Save