mirror of
https://git.proxmox.com/git/mirror_frr
synced 2025-07-18 04:55:15 +00:00
doc: disable parallel build
Sphinx is not designed to be run in parallel and exhibits filesystem race conditions if it is. Disable parallel build. Signed-off-by: Quentin Young <qlyoung@cumulusnetworks.com>
This commit is contained in:
parent
e7cc2122de
commit
8c60fed743
@ -9,6 +9,10 @@
|
|||||||
# Note the absence of the 'developer' directory here; development docs are
|
# Note the absence of the 'developer' directory here; development docs are
|
||||||
# never built as part of a regular build. They are only built when explicitly
|
# never built as part of a regular build. They are only built when explicitly
|
||||||
# asked for. See comment further down.
|
# asked for. See comment further down.
|
||||||
|
|
||||||
|
# Sphinx is not designed to be invoked multiple times against the same toctree.
|
||||||
|
.NOTPARALLEL:
|
||||||
|
|
||||||
SUBDIRS = manpages user
|
SUBDIRS = manpages user
|
||||||
AM_MAKEFLAGS = DESTDIR=${DESTDIR} infodir=${infodir} doczdir=${abs_srcdir}
|
AM_MAKEFLAGS = DESTDIR=${DESTDIR} infodir=${infodir} doczdir=${abs_srcdir}
|
||||||
|
|
||||||
|
@ -1,6 +1,9 @@
|
|||||||
# Makefile for Sphinx documentation
|
# Makefile for Sphinx documentation
|
||||||
#
|
#
|
||||||
|
|
||||||
|
# Sphinx is not designed to be invoked multiple times against the same toctree.
|
||||||
|
.NOTPARALLEL:
|
||||||
|
|
||||||
# You can set these variables from the command line.
|
# You can set these variables from the command line.
|
||||||
SPHINXOPTS ?=
|
SPHINXOPTS ?=
|
||||||
SPHINXBUILD ?= sphinx-build
|
SPHINXBUILD ?= sphinx-build
|
||||||
|
Loading…
Reference in New Issue
Block a user