Merge branch 'master' into add/number_of_paths

Author: realstealthninja

.github/workflows/gh-pages.yml

@@ -1,6 +1,6 @@
 name: Doxygen CI
 
-on: 
+on:
   push:
     branches: [master]
 
@@ -15,7 +15,7 @@ jobs:
         run: |
           brew install graphviz ninja doxygen
       - name: configure
-        run: cmake -G Ninja -B ./build -S .
+        run: cmake -G Ninja -Duse_libclang=ON -DCMAKE_CXX_COMPILER=clang++ -B ./build -S .
       - name: build
         run: cmake --build build -t doc
       - name: gh-pages
@@ -28,7 +28,7 @@ jobs:
           git config --global user.name "$GITHUB_ACTOR"
           git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com"
           git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
-          rm -rf d* && rm *.html && rm *.svg && rm *.map && rm *.md5 && rm *.png && rm *.js && rm *.css
+          rm -rf d* && rm *.html && rm *.svg && rm *.map && rm *.md5 && rm *.png && rm *.js
           git add .
           cp -rp ./build/html/* . && rm -rf ./build && ls -lah
           git add .

.gitignore

@@ -34,5 +34,9 @@ a.out
 *.out
 *.app
 
+# Cache
+.cache/
+
+# Build
 build/
 git_diff.txt