mirrors
/
freecol
mirror of https://github.com/FreeCol/freecol.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Include developer manual in release.sh upload.

This commit is contained in:
Mike Pope 2015-10-17 07:42:33 +10:30
parent 1f4370067e
commit 4db5bdd356
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/release.sh
View File

@ -27,12 +27,14 @@ exit
EOF
cd ..
if ant manual javadoc ; then
if ant manual devmanual javadoc ; then
cd doc
{
echo "cd /home/project-web/freecol/htdocs"
echo "put FreeCol.pdf docs/"
echo "put FreeCol.html docs/"
echo "put developer.pdf docs/"
echo "put developer.html docs/"
echo "put images/* docs/images"
find javadoc/ -printf "put %p %p\n"
} | sftp $USERNAME,freecol@web.sf.net