songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

wget --no-verbose

This commit is contained in:
Laurent Rineau 2020-10-05 12:46:29 +02:00
parent 10e5bcd369
commit da4acf4f0d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/build_doc.yml vendored
View File

@ -46,8 +46,7 @@ jobs:
set -x set -x
sudo apt-get install -y graphviz ssh sudo apt-get install -y graphviz ssh
sudo pip install lxml pyquery sudo pip install lxml pyquery
wget -O doxygen_exe https://cgal.geometryfactory.com/~mgimeno/doxygen/build_1_8_13/bin/doxygen wget --no-verbose -O /usr/bin/doxygen https://cgal.geometryfactory.com/~mgimeno/doxygen/build_1_8_13/bin/doxygen
sudo mv doxygen_exe /usr/bin/doxygen
sudo chmod +x /usr/bin/doxygen sudo chmod +x /usr/bin/doxygen
git config --global user.email "maxime.gimeno@geometryfactory.com" git config --global user.email "maxime.gimeno@geometryfactory.com"
git config --global user.name "Maxime Gimeno" git config --global user.name "Maxime Gimeno"
@ -55,6 +54,7 @@ jobs:
- name: configure all - name: configure all
if: steps.get_round.outputs.result != 'stop' if: steps.get_round.outputs.result != 'stop'
run: | run: |
set -ex
git clone https://CGAL:${{ secrets.PUSH_TO_CGAL_GITHUB_IO_TOKEN }}@github.com/CGAL/cgal.github.io.git --depth=5 git clone https://CGAL:${{ secrets.PUSH_TO_CGAL_GITHUB_IO_TOKEN }}@github.com/CGAL/cgal.github.io.git --depth=5
mkdir -p build_doc && cd build_doc && cmake ../Documentation/doc mkdir -p build_doc && cd build_doc && cmake ../Documentation/doc
@ -64,7 +64,7 @@ jobs:
set -ex set -ex
PR_NUMBER=${{ steps.get_pr_number.outputs.result }} PR_NUMBER=${{ steps.get_pr_number.outputs.result }}
ROUND=${{ steps.get_round.outputs.result }} ROUND=${{ steps.get_round.outputs.result }}
wget cgal.github.io -O tmp.html wget --no-verbose cgal.github.io -O tmp.html
if ! egrep -q "\/$PR_NUMBER\/$ROUND" tmp.html; then if ! egrep -q "\/$PR_NUMBER\/$ROUND" tmp.html; then
mkdir -p cgal.github.io/${PR_NUMBER}/$ROUND mkdir -p cgal.github.io/${PR_NUMBER}/$ROUND
cd build_doc && make -j2 doc && make -j2 doc_with_postprocessing cd build_doc && make -j2 doc && make -j2 doc_with_postprocessing