Merge branch 'f-include-dir' into 'dev'

ENH: copy everything in src/ext/include/ to public/ on make install

See merge request !52

Makefile

@@ -176,6 +176,9 @@ cp-ext:
 	for f in $(wildcard $(SRC_EXT_DIR)/xsl/*) ; do \
 		echo "y" | $(CMD_COPY_EXT_FILES) "$$(realpath "$$f")" $(PUBLIC_DIR)/xsl/ ; \
 	done
+	for f in $(wildcard $(SRC_EXT_DIR)/include/*) ; do \
+		echo "y" | $(CMD_COPY_EXT_FILES) "$$(realpath "$$f")" "$(PUBLIC_DIR)/$$(basename "$$f")" ; \
+	done
 
 cp-ext-test:
 	for f in $(wildcard $(TEST_EXT_DIR)/js/*) ; do \