-
Notifications
You must be signed in to change notification settings - Fork 0
65 lines (62 loc) · 1.78 KB
/
documentation.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
name: Documentation
on:
push:
branches:
- master
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
with:
ref: gh-pages
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install build-essential cmake doxygen
sudo pip3 install -U sphinx sphinx_rtd_theme breathe
- name: Copy files from master branch
run: |
git checkout origin/master -- CMakeLists.txt docs/ Doxyfile src/
- name: Create CMake project
run: |
mkdir build
cd build
cmake ..
- name: Build Decision
run: |
cd build
make
- name: Generate core reference
run: |
build/decision --export-core > docs/user/core.json
- name: Run Doxygen
run: |
doxygen Doxyfile
- name: Build the developer manual
run: |
cd docs/developer
make html
- name: Build the user manual
run: |
cd docs/user
make html
- name: Move the built documentation
run: |
mkdir -p developer user
cp -R docs/developer/build/html/* developer/
cp -R docs/user/build/html/* user/
- name: Cleanup
run: |
rm -R CMakeLists.txt docs/ Doxyfile src/
- name: Commit if there are changes
run: |
git config user.email "[email protected]"
git config user.name "drwhut"
git add .
git diff --quiet && git diff --staged --quiet || git commit -m "Built documentation."
- name: Push to Github Pages
uses: ad-m/[email protected]
with:
github_token: ${{ secrets.GITHUB_ACCESS_TOKEN }}
branch: gh-pages