make headers public.

2008-02-07 23:57:07 +01:00
parent 5137b37f86
commit 9cd8e34252
1 changed files with 4 additions and 0 deletions
--- a/src/core/wscript
+++ b/src/core/wscript
@@ -106,5 +106,9 @@ def build(bld):
        'type-id-default-value.h',
        'value.h',
        'param-spec-helper.h',
+        'int-value.h',
+        'uint-value.h',
+        'fp-value.h',
+        'enum-value.h',
        ]