Add missing headers to release archive list

diff --git a/dev.mk.in b/dev.mk.in
index 1b728feda2ca5ebf21a736c12f1383346b6e2ff2..d15493177e1ae371b0f111e56f946683e77171ec 100644 (file)
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -48,11 +48,13 @@ headers = \
     src/hashtable_itr.h \
     src/hashtable_private.h \
     src/hashutil.h \
+    src/int_bytes_conversion.h \
     src/language.h \
     src/macroskip.h \
     src/manifest.h \
     src/mdfour.h \
     src/minitrace.h \
+    src/result.h \
     src/system.h \
     src/unify.h \
     src/xxhash.h \