diff options
| -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 ; }) ]; |