fix a few disting issues

diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index d3710a10c1869367d0b7a16536b4303f56f8b248..56fcb9aeab5540e8d9cb38af484363d8ee75d660 100644 (file)
--- 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 \