diff options
author | Mauro Carvalho Chehab <mchehab@osg.samsung.com> | 2015-11-19 10:41:40 +0100 |
---|---|---|
committer | Mauro Carvalho Chehab <mchehab@osg.samsung.com> | 2015-11-19 10:46:39 +0100 |
commit | d01b2d53a5a4db38c7c95651ca9ff23bb930844e (patch) | |
tree | b8ae5546d5ea9749e8f8044685f2b602e2b341e4 | |
parent | [media] rc: gpio-ir-recv: add timeout on idle (diff) | |
download | linux-d01b2d53a5a4db38c7c95651ca9ff23bb930844e.tar.xz linux-d01b2d53a5a4db38c7c95651ca9ff23bb930844e.zip |
DocBook: only copy stuff to media_api if media xml is generated
It is possible to use:
make DOCBOOKS=device-drivers.xml htmldocs
To produce just a few docbooks. In such case, the media docs
won't be built, causing the makefile target to return an error.
While this is ok for human eyes, if the above is used on an script,
it would cause troubles.
Fix it by only creating/filling the media_api directory if the
media_api.xml is found at DOCBOOKS.
Signed-off-by: Mauro Carvalho Chehab <mchehab@osg.samsung.com>
-rw-r--r-- | Documentation/DocBook/media/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Documentation/DocBook/media/Makefile b/Documentation/DocBook/media/Makefile index 02848146fc3a..2840ff483d5a 100644 --- a/Documentation/DocBook/media/Makefile +++ b/Documentation/DocBook/media/Makefile @@ -199,8 +199,10 @@ DVB_DOCUMENTED = \ # install_media_images = \ - $(Q)-mkdir -p $(MEDIA_OBJ_DIR)/media_api; \ - cp $(OBJIMGFILES) $(MEDIA_SRC_DIR)/*.svg $(MEDIA_SRC_DIR)/v4l/*.svg $(MEDIA_OBJ_DIR)/media_api + $(Q)if [ "x$(findstring media_api.xml,$(DOCBOOKS))" != "x" ]; then \ + mkdir -p $(MEDIA_OBJ_DIR)/media_api; \ + cp $(OBJIMGFILES) $(MEDIA_SRC_DIR)/*.svg $(MEDIA_SRC_DIR)/v4l/*.svg $(MEDIA_OBJ_DIR)/media_api; \ + fi $(MEDIA_OBJ_DIR)/%: $(MEDIA_SRC_DIR)/%.b64 $(Q)base64 -d $< >$@ |