disable dman to workaround Issue 17731

dlang · Aug 8, 2017 · ef720ed · ef720ed
1 parent 500302c
commit ef720ed
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/create_dmd_release/create_dmd_release.d b/create_dmd_release/create_dmd_release.d
@@ -541,7 +541,8 @@ void buildAll(Bits bits, string branch, bool dmdOnly=false)
         run(makecmd~" rdmd");
         run(makecmd~" ddemangle");
         run(makecmd~" dustmite");
-        if (!skipDocs) run(makecmd~" dman DOC="~origDir~"/docs");
+        // disabled dman due to https://issues.dlang.org/show_bug.cgi?id=17731
+        // if (!skipDocs) run(makecmd~" dman DOC="~origDir~"/docs");
 
         removeFiles(cloneDir~"/tools", "*.{"~obj~"}", SpanMode.depth);