Actually fix the mans conflict.

This was a parallel build problem.
I had misunderstood what was actually happening when I first read the logs.

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 98418a1a82b1570b3a3892c70f2d1585240ad6ff..f7faa7d143c48e832840bd7fe432be414e932f0a 100644 (file)
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -62,8 +62,7 @@ EXTRA_DIST = $(MANPAGES_DIST)
 if HAVE_VIRTUALENV
 if !HAVE_MANPAGES
 $(MANPAGES_DIST): %: manpages/%.rst .venv
-       .venv/bin/python -msphinx -b man . mans $<
-       mv mans/$@ $@; rm -rf mans
+       outputdir="`mktemp -d mans.XXXX`"; .venv/bin/python -msphinx -b man . "$$outputdir" "$<" && mv "$${outputdir}/$@" "$@"; rm -rf "$$outputdir"
 endif # if !HAVE_MANPAGES
 
 .venv: requirements.txt