From 2187f4b2d946dc82040432887666d9ef56f0bdcb Mon Sep 17 00:00:00 2001 From: Hyo-Kyung Lee Date: Fri, 4 Oct 2024 16:32:35 -0500 Subject: [PATCH] docs: miktex --- .github/workflows/docs-miktex.yml | 61 +++++++++++++++++++++++++++++++ 1 file changed, 61 insertions(+) create mode 100644 .github/workflows/docs-miktex.yml diff --git a/.github/workflows/docs-miktex.yml b/.github/workflows/docs-miktex.yml new file mode 100644 index 00000000000..8290f7f6ab5 --- /dev/null +++ b/.github/workflows/docs-miktex.yml @@ -0,0 +1,61 @@ +name: doxygen gh-pages miktex + +on: + workflow_dispatch: + push: + pull_request: + branches: [ develop ] + paths-ignore: + - '.github/CODEOWNERS' + - '.github/FUNDING.yml' + - 'doc/**' + - 'release_docs/**' + - 'ACKNOWLEDGEMENTS' + - 'COPYING**' + - '**.md' + +# Using concurrency to cancel any in-progress job or run +concurrency: + group: ${{ github.workflow }}-${{ github.sha || github.event.pull_request.number }} + cancel-in-progress: true + +jobs: + # This workflow contains a single job called "build" + build: + # The type of runner that the job will run on + runs-on: ubuntu-latest + steps: + - name: Get Sources + uses: actions/checkout@v4.1.1 + + - name: Install Dependencies + run: | + curl -fsSL https://miktex.org/download/key | sudo tee /usr/share/keyrings/miktex-keyring.asc > /dev/null + echo "deb [signed-by=/usr/share/keyrings/miktex-keyring.asc] https://miktex.org/download/ubuntu jammy universe" | sudo tee /etc/apt/sources.list.d/miktex.list + sudo apt update -y + sudo apt install -y libunwind-dev + sudo apt install -y graphviz + sudo apt install -y --no-install-recommends doxygen + sudo apt install -y cmake + sudo apt install -y miktex + + - name: Build Develop Documentation + run: | + mkdir build + cd build + cmake -DHDF5_BUILD_DOC:BOOL=ON .. + make doxygen + pwd + ls -l hdf5lib_docs + cd hdf5lib_docs/html + touch .nojekyll + cd ../latex + make + + - name: Deploy Develop + uses: peaceiris/actions-gh-pages@v4 + with: + publish_dir: /home/runner/work/hdf5/hdf5/build/hdf5lib_docs/html + destination_dir: develop + github_token: ${{ secrets.GITHUB_TOKEN }} +