From eec5a96f455942cac2f972f76babfe624849dccc Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 4 Jun 2018 23:29:34 +0200
Subject: fix a few disting issues

---
 contrib/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index d3710a10c1..56fcb9aeab 100644
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -62,7 +62,7 @@ EXTRA_DIST = \
  scripts/removetrailingwhitespace.py.in \
  scripts/pydiffer.py.in \
  packages/nix/default.nix \
- packages/nix/gnunet-dex.nix \
+ packages/nix/gnunet-dev.nix \
  3rdparty/Windows/openvpn-tap32/tapw32/tap0901.sys \
  3rdparty/Windows/openvpn-tap32/tapw32/tap0901.cat \
  3rdparty/Windows/openvpn-tap32/tapw32/OemWin2k.inf \
-- 
cgit v1.2.3-18-g5258