diff options
| author | Jani Nikula <[email protected]> | 2016-08-04 11:48:26 +0300 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2016-08-04 16:51:33 -0600 |
| commit | bdf107d87eb8ce1d1313fee40f3de1a1029a3eca (patch) | |
| tree | 4beff9915a73877cce306a079c2d2e072735327c /scripts/gdb/vmlinux-gdb.py | |
| parent | 09c3bcce7c3f640b560df148a3f47d4a3a13dc5e (diff) | |
DocBook: use DOCBOOKS="" to ignore DocBooks instead of IGNORE_DOCBOOKS=1
Instead of a separate ignore flag, use the obvious DOCBOOKS="" to ignore
all DocBook files. This is also in line with the Sphinx build being
ignored if a non-empty DOCBOOKS make variable is specified on the make
command line.
This replaces the IGNORE_DOCBOOKS introduced in
commit 547218864afb2745d9d137f005f3380ef96b26ab
Author: Mauro Carvalho Chehab <[email protected]>
Date: Sat Jul 9 13:12:45 2016 -0300
doc-rst: add an option to ignore DocBooks when generating docs
and aligns with
commit 6387872c86ea6698ed8faa3ccad1d1bd60f762f7
Author: Jani Nikula <[email protected]>
Date: Fri Jul 1 15:24:44 2016 +0300
Documentation/sphinx: skip build if user requested specific DOCBOOKS
Cc: Daniel Vetter <[email protected]>
Signed-off-by: Jani Nikula <[email protected]>
Tested-by: Mauro Carvalho Chehab <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'scripts/gdb/vmlinux-gdb.py')
0 files changed, 0 insertions, 0 deletions