Updated, generate gh-pages

Author: asherikov

.github/workflows/ghpages.yaml

@@ -0,0 +1,17 @@
+on: [push, pull_request]
+
+jobs:
+    gh_pages:
+        runs-on: ubuntu-latest
+        permissions:
+            contents: write
+        steps:
+            - uses: actions/checkout@v5
+              with:
+                submodules: true
+                fetch-depth: 0
+            - run: |
+                git config --global user.name github-actions
+                git config --global user.email github-actions@github.com
+                git config --global --add safe.directory '*'
+            - run: make ghpages_action GIT_MESSAGE="Automated update ${{ github.ref_name }}"

.gitmodules

@@ -0,0 +1,4 @@
+[submodule "gh-pages"]
+	path = gh-pages
+	url = ../codeincomplete.git
+	branch = gh-pages

.hunspell_dict

@@ -110,3 +110,30 @@ Bufferization
 UDP
 codebase
 compilable
+oom
+dont
+KPIs
+Jira
+SDF
+rviz
+bugfixes
+bugfix
+LLA
+MSL
+WGS84
+Werror
+LLM
+instantiations
+typename
+struct
+MyClass
+CallbackData
+mat3
+mat2
+mat1
+ROS2
+ament
+doesn
+NODELAY
+REUSEADDR
+eigendecomposition

Makefile

@@ -1,3 +1,6 @@
+APT_INSTALL?=env DEBIAN_FRONTEND=noninteractive apt --yes --no-install-recommends install
+GIT_MESSAGE?="UPDATED"
+
 fmt:
 	cp README.md README.md.back
 	sed '/^Introduction$$/,$$!d' README.md.back > README.md
@@ -6,3 +9,30 @@ fmt:
 
 spell:
 	hunspell -H -p ./.hunspell_dict ./README.md
+
+html: # based on https://github.com/jez/pandoc-markdown-css-theme
+	pandoc README.md \
+		--output gh-pages/index.html \
+		--standalone \
+		--table-of-contents \
+		--toc-depth=3 \
+		--number-sections \
+		--to html5+smart \
+		--embed-resources \
+		--template=gh-pages/template.html5 \
+		--css gh-pages/theme.css \
+		--css gh-pages/skylighting-solarized-theme.css \
+		--wrap=none \
+		--variable=date:"DATE: `date '+%Y-%m-%d'`" \
+		--variable=author:"VERSION: `git describe --broken --dirty --always`" \
+        --metadata title="Code Incomplete"
+
+ghpages:
+	cd gh-pages; git checkout gh-pages
+	${MAKE} html
+	cd gh-pages; git add *; git commit -a -m "${GIT_MESSAGE}"; git push
+
+ghpages_action:
+	sudo apt update
+	sudo ${APT_INSTALL} pandoc
+	${MAKE} ghpages