1 files changed, 1 insertions, 1 deletions
diff --git a/make_dist b/make_dist
index b8dffd23..a2d496a0 100755
--- a/make_dist
+++ b/make_dist
@@ -95,7 +95,7 @@ if ($version_error)
 
 run("./autogen.sh");
 run("./configure --enable-doc-maintenance --enable-werror");
-run("make build_manual");
+run("make -j8 build_manual");
 run("make distclean");
 cd($pwd);
 run("tar czvf $srcdir.tar.gz-candidate $srcdir");