1 files changed, 3 insertions, 1 deletions

diff --git a/src/include/Makefile.am b/src/include/Makefile.am
index 15f5626ab..19450968c 100644
--- a/src/include/Makefile.am
+++ b/src/include/Makefile.am
@@ -10,7 +10,9 @@ EXTRA_DIST = \
   block_regex.h
 
 gnunetinclude_HEADERS = \
-  platform.h gettext.h \
+  platform.h \
+  gnunet_platform.h \
+  gettext.h \
   compat.h \
   gnunet_abd_service.h \
   gnunet_applications.h \