diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/applications/science/logic/proverif/default.nix')
| -rw-r--r-- | infra/libkookie/nixpkgs/pkgs/applications/science/logic/proverif/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/proverif/default.nix b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/proverif/default.nix index 6acae2bcb766..4242bb0599e9 100644 --- a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/proverif/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/proverif/default.nix @@ -16,6 +16,7 @@ stdenv.mkDerivation rec { mkdir -p $out/bin cp ./proverif $out/bin cp ./proveriftotex $out/bin + install -D -t $out/share/emacs/site-lisp/ emacs/proverif.el ''; meta = { |