diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2021-01-01 12:41:01 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2021-01-01 12:41:01 +0100 |
commit | c22a18c71a2b2a30fdb1716b9b767fa3922086c3 (patch) | |
tree | 017329d0213f2b53d71fff61c3df729557675ad9 | |
parent | 330ef49f386c2fb8ffc6d0e22f83a70d669484b5 (diff) |
Add makeglos
-rw-r--r-- | doc/paper/shell.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/paper/shell.nix b/doc/paper/shell.nix index 41687e7..1c59fbd 100644 --- a/doc/paper/shell.nix +++ b/doc/paper/shell.nix @@ -21,6 +21,7 @@ pkgs.mkShell rec { citeall citeref xcolor + makeglos ; }) ]; |