File tree Expand file tree Collapse file tree 6 files changed +233
-33
lines changed
Expand file tree Collapse file tree 6 files changed +233
-33
lines changed Original file line number Diff line number Diff line change 1+ on : [push, pull_request]
2+
3+ jobs :
4+ gh_pages :
5+ runs-on : ubuntu-latest
6+ permissions :
7+ contents : write
8+ steps :
9+ - uses : actions/checkout@v5
10+ - run : make ghpages_action
Original file line number Diff line number Diff line change 1+ [submodule "gh-pages "]
2+ path = gh-pages
3+ url = ../codeincomplete.git
4+ branch = gh-pages
Original file line number Diff line number Diff line change @@ -110,3 +110,30 @@ Bufferization
110110UDP
111111codebase
112112compilable
113+ oom
114+ dont
115+ KPIs
116+ Jira
117+ SDF
118+ rviz
119+ bugfixes
120+ bugfix
121+ LLA
122+ MSL
123+ WGS84
124+ Werror
125+ LLM
126+ instantiations
127+ typename
128+ struct
129+ MyClass
130+ CallbackData
131+ mat3
132+ mat2
133+ mat1
134+ ROS2
135+ ament
136+ doesn
137+ NODELAY
138+ REUSEADDR
139+ eigendecomposition
Original file line number Diff line number Diff line change 1+ APT_INSTALL? =env DEBIAN_FRONTEND=noninteractive apt --yes --no-install-recommends install
2+
13fmt :
24 cp README.md README.md.back
35 sed ' /^Introduction$$/,$$!d' README.md.back > README.md
68
79spell :
810 hunspell -H -p ./.hunspell_dict ./README.md
11+
12+ html : # based on https://github.com/jez/pandoc-markdown-css-theme
13+ pandoc README.md \
14+ --output gh-pages/index.html \
15+ --standalone \
16+ --table-of-contents \
17+ --toc-depth=3 \
18+ --number-sections \
19+ --to html5+smart \
20+ --embed-resources \
21+ --template=gh-pages/template.html5 \
22+ --css gh-pages/theme.css \
23+ --css gh-pages/skylighting-solarized-theme.css \
24+ --wrap=none \
25+ --variable=date:" DATE: ` date ' +%Y-%m-%d' ` " \
26+ --variable=author:" VERSION: ` git describe --broken --dirty --always` " \
27+ --metadata title="Code Incomplete"
28+
29+ ghpages :
30+ cd gh-pages; git checkout gh-pages
31+ ${MAKE} html
32+ cd gh-pages; git add * ; git commit -a -m " Updated" ; git push
33+
34+ ghpages_action :
35+ sudo apt update
36+ ${APT_INSTALL} pandoc
37+ ${MAKE} gh-pages
You can’t perform that action at this time.
0 commit comments