Add missing headers to dev.mk.in

diff --git a/dev.mk.in b/dev.mk.in
index fd103ca783e81853ed57282a7b172eefe09a516f..f9b2f26d4484ee8bd4c782182c16d70647b35ba9 100644 (file)
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -26,7 +26,7 @@ built_dist_files = $(generated_docs)
 headers = \
     ccache.h hashtable.h hashtable_itr.h hashtable_private.h hashutil.h \
     manifest.h mdfour.h counters.h murmurhashneutral2.h getopt_long.h \
-    language.h system.h compopt.h \
+    language.h system.h compopt.h conf.h \
     test/framework.h test/suites.h test/util.h
 
 files_to_clean += *.tar.bz2 *.tar.gz *.tar.xz *.xml .deps/*