diff options
| author | David Lamparter <equinox@opensourcerouting.org> | 2018-08-15 22:59:31 +0200 |
|---|---|---|
| committer | David Lamparter <equinox@opensourcerouting.org> | 2018-08-30 08:06:44 +0200 |
| commit | 9e53b31551844a02b3bb2bd359f0a389eddf0d50 (patch) | |
| tree | b29f9f300e5658b7db8dc8d4e684e0f062c5040f /python/clidef.py | |
| parent | f177317a20ff417c2dc9d719f2e1135d81ff96f8 (diff) | |
build: non-recursive doc + parallel sphinx
Sphinx actually does work with a parallel build, if the doctree creation
is a separate step (which the other builds will then just read
unmodified.) This can be done with the "dummy" target.
This also adds "-j6" to sphinx-build and adds a "--disable-doc-html"
switch on ./configure to turn on/off building HTML docs separately.
Also, HTML docs are now installed by "make install" to
/usr/share/doc/frr/html.
Signed-off-by: David Lamparter <equinox@diac24.net>
Diffstat (limited to 'python/clidef.py')
0 files changed, 0 insertions, 0 deletions