Add doxygen

.github/workflows/main.yml

@@ -40,7 +40,9 @@ jobs:
       run: nix-shell --run 'make bench'
 
     - name: create doc
-      run: mkdir doc && cd doc && echo hello world > index.html
+      run:
+        cd doc && nix-shell --run 'make all'
+        cd doc && echo hello world > index.html
 
     - name: Deploy
       uses: JamesIves/github-pages-deploy-action@4.1.0
@@ -51,6 +53,6 @@ jobs:
     - name: Upload dist
       uses: actions/upload-artifacts@v2
       with:
-        name: lib.tar.gz
+        name: lib
-        path: lib
+        path: ./lib
 

.gitignore

@@ -1 +1,2 @@
 .emacs
+doc/doxygen/

doc/Makefile

@@ -0,0 +1,7 @@
+DOXYGEN_INDEX = doxygen/html/index.html
+
+all: $(DOXYGEN_INDEX)
+
+$(DOXYGEN_INDEX):
+	doxygen Doxyfile
+

doc/shell.nix

@@ -0,0 +1,9 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.mkShell rec {
+
+  buildInputs = with pkgs; [
+    doxygen
+  ];
+
+}