Skip to content
Permalink
0da69bad46
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
0 contributors

Users who have contributed to this file

7 lines (7 sloc) 180 Bytes
#! /bin/sh
./build.sh javadocs
cd build
tar -czf javadocs.tar.gz javadocs/
scp javadocs.tar.gz $rapladocs
ssh $sf
#rsync --size-only -r -u -v build/javadocs website/doc/javadocs