Add Documentation to the autotools pipeline

2022-03-14 15:33:10 +01:00
parent 69611ec0d8
commit 4d8be00774
9 changed files with 77 additions and 53 deletions
--- a/docs/shell.nix
+++ b/docs/shell.nix
@@ -12,6 +12,7 @@ pkgs.mkShell rec {
    python3Packages.breathe
    doxygen
    sphinx
+    git
    graphviz
  ];