File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Load diff This file was deleted.
Original file line number Diff line number Diff line change 1+ name : Generate Doxygen Docs
2+
3+ on :
4+ push :
5+ branches : [ "master" ]
6+ workflow_dispatch :
7+
8+ permissions :
9+ contents : write
10+
11+ jobs :
12+ build-docs :
13+ runs-on : ubuntu-latest
14+
15+ steps :
16+ - name : Checkout repo
17+ uses : actions/checkout@v4
18+
19+ - name : Install Doxygen + Graphviz
20+ run : |
21+ sudo apt-get update
22+ sudo apt-get install -y doxygen graphviz
23+
24+ - name : Ensure Doxyfile exists
25+ run : |
26+ if [ ! -f Doxyfile ]; then
27+ doxygen -g Doxyfile
28+ fi
29+
30+ - name : Configure output to docs/
31+ run : |
32+ sed -i 's|OUTPUT_DIRECTORY.*|OUTPUT_DIRECTORY = docs|' Doxyfile
33+ sed -i 's|GENERATE_HTML.*|GENERATE_HTML = YES|' Doxyfile
34+
35+ - name : Generate documentation
36+ run : |
37+ doxygen Doxyfile
38+
39+ - name : Prepare GitHub Pages folder
40+ run : |
41+ rm -rf public
42+ mkdir public
43+ cp -r docs/html/* public/
44+
45+ - name : Deploy to gh-pages branch
46+ uses : peaceiris/actions-gh-pages@v4
47+ with :
48+ github_token : ${{ secrets.GITHUB_TOKEN }}
49+ publish_dir : ./public
You can’t perform that action at this time.
0 commit comments