diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-28 01:25:28 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-28 01:25:28 +0100 |
commit | 6959b38a343d4575efc442ea02422dc64cf59d00 (patch) | |
tree | f98f3a4d9851863b7998d3ca87d5951af8919e8a /default.nix | |
parent | cfa2956933619440ab9803b1468292b191765b38 (diff) | |
download | vericert-6959b38a343d4575efc442ea02422dc64cf59d00.tar.gz vericert-6959b38a343d4575efc442ea02422dc64cf59d00.zip |
Add to documentation
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.nix b/default.nix index eb1125c..341c8fc 100644 --- a/default.nix +++ b/default.nix @@ -15,6 +15,7 @@ stdenv.mkDerivation { ncoqPackages.serapi python3 python3Packages.alectryon + python3Packages.sphinx_rtd_theme ]; enableParallelBuilding = true; |