From 207304453338746d16ef43b734010c30aacee412 Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach Date: Thu, 1 Dec 2022 18:40:56 +0900 Subject: -forgot to add new header to dist --- src/include/Makefile.am | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') 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 \ -- cgit v1.2.3