From c22a18c71a2b2a30fdb1716b9b767fa3922086c3 Mon Sep 17 00:00:00 2001 From: Matthias Beyer Date: Fri, 1 Jan 2021 12:41:01 +0100 Subject: Add makeglos --- doc/paper/shell.nix | 1 + 1 file changed, 1 insertion(+) 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 ; }) ]; -- cgit v1.2.3