Skip to content

Commit

Permalink
CI #905 docs workflow, too
Browse files Browse the repository at this point in the history
  • Loading branch information
prjemian committed Feb 26, 2024
1 parent 1e4e74e commit 5f74014
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -45,6 +45,7 @@ jobs:
- name: Install pandoc
run: |
set -vxeuo pipefail
sudo apt-get update && \
sudo apt-get -y install pandoc
Expand Down Expand Up @@ -80,6 +81,7 @@ jobs:
- name: Re-build the master directory (contains all documentation versions)
run: |
set -vxeuo pipefail
cp .github/index.html "${TMP_DIR}"
cd "${TMP_DIR}"
Expand Down Expand Up @@ -110,6 +112,7 @@ jobs:
- name: Info
run: |
set -vxeuo pipefail
cd "${TMP_DIR}"
echo "pwd=$(pwd)"
ls -laFGh
Expand Down

0 comments on commit 5f74014

Please sign in to comment.