fix monodoc

Author: bodewig

src/doc/monodoc/run-monodoc.sh

@@ -10,7 +10,7 @@ OUT_DIR="$BUILD/doc"
 HTML_DIR="$BUILD/html"
 rm -rf "$OUT_DIR" "$HTML_DIR"
 mkdir -p "$OUT_DIR"
-cp -r "$MY_DIR/core" "$MY_DIR/placeholders" "$MY_DIR/constraints-nunit2" "$MY_DIR/constraints-nunit3" "$OUT_DIR"
+cp -r "$MY_DIR/core" "$MY_DIR/placeholders" "$MY_DIR/constraints-nunit2" "$MY_DIR/constraints-nunit3" "$MY_DIR/constraints-nunit4" "$OUT_DIR"
 
 monodocer -pretty -importslashdoc:"$DEBUG_DIR/xmlunit-core.xml"\
           -assembly:"$DEBUG_DIR/xmlunit-core.dll"\
@@ -28,5 +28,4 @@ monodocer -pretty -importslashdoc:"$DEBUG_DIR/xmlunit-placeholders.xml"\
           -assembly:"$DEBUG_DIR/xmlunit-placeholders.dll"\
           -path:"$OUT_DIR/placeholders"
 
-monodocs2html -out "$HTML_DIR" "$OUT_DIR/core" "$OUT_DIR/constraints-nunit3" "$OUT_DIR/constraints-nunit2" "$OUT_DIR/placeholders" 
-
+monodocs2html -out "$HTML_DIR" "$OUT_DIR/core" "$OUT_DIR/constraints-nunit4" "$OUT_DIR/constraints-nunit3" "$OUT_DIR/constraints-nunit2" "$OUT_DIR/placeholders"