add ext/libxml/ to the headers path

diff --git a/scripts/Makefile.frag b/scripts/Makefile.frag
index 6e0a26c38aef150c297d77dee76516040adf7ab6..7c40b41b5ca70775077ab1e5a4cbae73117c7192 100644 (file)
--- a/scripts/Makefile.frag
+++ b/scripts/Makefile.frag
@@ -29,6 +29,7 @@ HEADER_DIRS = \
        main/ \
        main/streams/ \
        regex/ \
+       ext/libxml/ \
        ext/standard/ \
        ext/session/ \
        ext/xml/ \