diff --git a/Documentation/all.do b/Documentation/all.do
index 51e7edd..4eb85e4 100644
--- a/Documentation/all.do
+++ b/Documentation/all.do
@@ -1,3 +1,9 @@
 redo-ifchange doc.list
 sed 's/\.md/.1/' <doc.list |
-xargs redo-ifchange mkdocs
+xargs redo-ifchange
+
+# mkdocs foolishly tries to process every file in this directory, which
+# leads it to try to open temp files produced by the above redo-ifchange
+# if it runs in parallel with those jobs.  So don't run it until they
+# finish.
+redo-ifchange mkdocs