File tree Expand file tree Collapse file tree 7 files changed +8
-8
lines changed
Expand file tree Collapse file tree 7 files changed +8
-8
lines changed Original file line number Diff line number Diff line change @@ -118,7 +118,7 @@ jobs:
118118 - name : Initial repo config
119119 run : tools/initial-repo-config.sh
120120 - name : Build documentation
121- run : tools/docker/build- documentation.sh
121+ run : tools/documentation/run .sh
122122 - name : upload artifacts
123123 uses : actions/upload-artifact@v3
124124 if : ${{ always() }}
Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ Building the documentation
1616
1717- The script ``tools/build-documentation.sh `` allows to build the documentation locally
1818- This command also installs the required pip packages, so using a dedicated virtual environment is advised
19- - Linux users might directly execute the docker version in ``tools/docker/build- documentation.sh ``
19+ - Linux users might directly execute the docker version in ``tools/documentation/run .sh ``
2020
2121Updating documentation
2222~~~~~~~~~~~~~~~~~~~~~~
Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ case $(uname) in
1010 * )
1111 # install the correct packages
1212 # this is more convenient for users
13- pip install -r $top_level /tools/docker /requirements.txt > /dev/null || exit 1
13+ pip install -r $top_level /tools/documentation /requirements.txt > /dev/null || exit 1
1414 ;;
1515esac
1616
File renamed without changes.
Original file line number Diff line number Diff line change 11breathe==4.35.0
2- sphinx==6 .1.3
2+ sphinx==7 .1.2
33sphinxcontrib-fulltoc==1.2
44sphinxcontrib-images==0.9.4
55sphinxcontrib-youtube==1.2.0
Original file line number Diff line number Diff line change @@ -198,9 +198,9 @@ snowballstemmer==2.2.0 \
198198 --hash =sha256:09b16deb8547d3412ad7b590689584cd0fe25ec8db3be37788be3810cbf19cb1 \
199199 --hash =sha256:c8e1716e83cc398ae16824e5572ae04e0d9fc2c6b985fb0f900f5f0c96ecba1a
200200 # via sphinx
201- sphinx == 6 .1.3 \
202- --hash =sha256:0dac3b698538ffef41716cf97ba26c1c7788dba73ce6f150c1ff5b4720786dd2 \
203- --hash =sha256:807d1cb3d6be87eb78a381c3e70ebd8d346b9a25f3753e9947e866b2786865fc
201+ sphinx == 7 .1.2 \
202+ --hash =sha256:780f4d32f1d7d1126576e0e5ecc19dc32ab76cd24e950228dcf7b1f6d3d9e22f \
203+ --hash =sha256:d170a81825b2fcacb6dfd5a0d7f578a053e45d3f2b153fecc948c37344eb4cbe
204204 # via
205205 # -r requirements.in
206206 # breathe
Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ top_level=$(git rev-parse --show-toplevel)
1616
1717# build containter
1818echo " Start building Docker container 'mies-documentation'"
19- docker build --build-arg USERID=$( id -u) --build-arg GROUPID=$( id -g) -t mies-documentation $top_level /tools/docker
19+ docker build --build-arg USERID=$( id -u) --build-arg GROUPID=$( id -g) -t mies-documentation $top_level /tools/documentation
2020
2121# execute build script
2222# use 'docker run -it ..' for interactive debugging
You can’t perform that action at this time.
0 commit comments