diff --git a/ws/Docbook/hdmwebhelp.xpr b/ws/Docbook/hdmwebhelp.xpr new file mode 100644 index 0000000000000000000000000000000000000000..5dec7c5589d5bce232200747f4b3031748fd5e16 --- /dev/null +++ b/ws/Docbook/hdmwebhelp.xpr @@ -0,0 +1,10 @@ +<?xml version="1.0" encoding="UTF-8"?> +<project version="19.1"> + <meta> + <filters directoryPatterns="" filePatterns="hdmwebhelp.xpr" positiveFilePatterns="" showHiddenFiles="false"/> + <options/> + </meta> + <projectTree name="hdmwebhelp.xpr"> + <folder path="../../../../../usr/share/hdm-docbook-xsl/"/> + </projectTree> +</project> \ No newline at end of file