1 files changed, 8 insertions, 6 deletions

diff --git a/src/include/Makefile.am b/src/include/Makefile.am
index 72017b728..9af3297fd 100644
--- a/src/include/Makefile.am
+++ b/src/include/Makefile.am
@@ -1,17 +1,19 @@
 SUBDIRS = .
 
-EXTRA_DIST = \
-  gettext.h \
-  platform.h \
-  plibc.h \
-  winproc.h 
-
 gnunetincludedir = $(includedir)/gnunet
 
 nodist_gnunetinclude_HEADERS = \
   gnunet_directories.h
 
+if MINGW
+  WINPROC = winproc.h
+endif
+
 gnunetinclude_HEADERS = \
+  gettext.h \
+  platform.h \
+  plibc.h \
+  $(WINPROC) \
   gnunet_arm_service.h \
   gnunet_bandwidth_lib.h \
   gnunet_bio_lib.h \