diff options
| author | Mauro Carvalho Chehab <mchehab@s-opensource.com> | 2016-07-09 13:12:45 -0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-07-09 23:15:05 -0600 |
| commit | 547218864afb2745d9d137f005f3380ef96b26ab (patch) | |
| tree | 346b0f3e8daf12b63a600716915a7c7c3245fdb1 /Documentation/Makefile.sphinx | |
| parent | fb054c5a95ba336ce2f29c98aee3eb042d725d0f (diff) | |
doc-rst: add an option to ignore DocBooks when generating docs
Sometimes, we want to do a partial build, instead of building
everything. However, right now, if one wants to build just
Sphinx books, it will build also the DocBooks.
Add an option to allow to ignore all DocBooks when building
documentation.
Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/Makefile.sphinx')
0 files changed, 0 insertions, 0 deletions