Skip to content

Putting docs to separte directory #238

Putting docs to separte directory

Putting docs to separte directory #238

Workflow file for this run

name: documentation
on: [push]
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: cvmfs-contrib/github-action-cvmfs@v3
- name: Start container
run: |
docker run -it --name CI_container -v ${GITHUB_WORKSPACE}:/Package -v /cvmfs:/cvmfs:shared -d ghcr.io/key4hep/key4hep-images/alma9:latest /bin/bash
- name: Compile Documentation
run: |
docker exec CI_container /bin/bash -c 'cd Package
yum install -y graphviz
source ./setup.sh
mkdir -p build
cd build
cmake ..
make doc'
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build/doxygen/html
destination_dir: doc/pre-edm4hep1
man:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install mandoc
run: |
sudo apt-get install -y mandoc
- name: Compile HTML pages
run: |
.github/scripts/man2html.sh
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./man/html
destination_dir: man/pre-edm4hep1