Get tools man pages from the tools repo

dlang · Feb 27, 2014 · 173d904 · 173d904
1 parent 1bfae8a
commit 173d904
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/create_dmd_release/create_dmd_release.d b/create_dmd_release/create_dmd_release.d
@@ -882,6 +882,7 @@ void createRelease(string branch)
     }
     copyDirVersioned(cloneDir~"/dmd/samples",  releaseDir~"/dmd2/samples/d");
     copyDirVersioned(cloneDir~"/dmd/docs/man", releaseDir~"/dmd2/man");
+    copyDirVersioned(cloneDir~"/tools/man", releaseDir~"/dmd2/man");
     makeDir(releaseDir~"/dmd2/html/d/zlib");
     copyFile(cloneDir~"/phobos/etc/c/zlib/ChangeLog", releaseDir~"/dmd2/html/d/zlib/ChangeLog");
     copyFile(cloneDir~"/phobos/etc/c/zlib/README",    releaseDir~"/dmd2/html/d/zlib/README");