Commit 35a1e5ab authored by Matthias Vallentin's avatar Matthias Vallentin

Remove two obsolete scripts.

parent 6c59a33d
#!/bin/bash
VERSION=$(cat VERSION)
git tag -a "V$VERSION" -m "version $VERSION"
git push --tags
#!/bin/bash
host=hylos.cpt.haw-hamburg.de
htmlroot=/prog/www/w3/www.actor-framework.org/html
echo "build doxygen target"
make -C build/ doc || ninja -C build/ doc || exit
echo "build manual"
make -C manual || exit
echo "upload doxygen documentation"
rsync -r -v -u --delete --exclude=.DS_Store html/ $host:$htmlroot/doc || exit
echo "upload HTML manual"
scp manual/build-html/manual.html $host:$htmlroot/manual/index.html || exit
echo "upload PDF manual"
scp manual/build-pdf/manual.pdf $host:$htmlroot/pdf || exit
echo "done"
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment