GitHub-Proxy/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2025-07-07 05:31:48 +08:00
Code Issues Packages Projects Releases Wiki Activity

adapt eigen_gen_docs for the 3.0 branch. Also, create the 'build' dir if

Browse Source 
not present.
This commit is contained in:
Thomas Capricelli 2011-04-19 17:36:56 +02:00
parent 134b83c310
commit e8fa6dde01
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/eigen_gen_docs
View File

@ -7,13 +7,13 @@ USER=${USER:-'orzel'}
# step 1 : build # step 1 : build
# todo if 'build is not there, create one: # todo if 'build is not there, create one:
#mkdir build mkdir build -p
(cd build && cmake .. && make -j3 doc) || { echo "make failed"; exit 1; } (cd build && cmake .. && make -j3 doc) || { echo "make failed"; exit 1; }
#todo: n+1 where n = number of cpus #todo: n+1 where n = number of cpus
#step 2 : upload #step 2 : upload
# (the '/' at the end of path are very important, see rsync documentation) # (the '/' at the end of path are very important, see rsync documentation)
rsync -az build/doc/html/ $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/dox-devel/ || { echo "upload failed"; exit 1; } rsync -az build/doc/html/ $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/dox-3.0/ || { echo "upload failed"; exit 1; }
echo "Uploaded successfully" echo "Uploaded successfully"