Documentation/sphinx: fix make SPHINXDIRS="dirs" pdfdocs for more than one dir
authorMarkus Heiser <markus.heiser@darmarIT.de>
Wed, 2 Nov 2016 14:37:11 +0000 (16:37 +0200)
committerJani Nikula <jani.nikula@intel.com>
Thu, 3 Nov 2016 10:36:56 +0000 (12:36 +0200)
commit0af205ea6c35ad540d638351ce37457e3ee2bac8
tree8f31c313fe9294c521dbf3e58e6be477d724ab31
parenteaed1b25a783121ecd4fb4eccebe45b08675b915
Documentation/sphinx: fix make SPHINXDIRS="dirs" pdfdocs for more than one dir

Add missing semicolon to fix pdf build with more than one SPHINXDIRS
directory specified. For example make SPHINXDIRS="gpu media" pdfdocs.

Fixes: cd21379b1698 ("doc-rst: generic way to build PDF of sub-folders")
Signed-off-by: Markus Heiser <markus.heiser@darmarIT.de>
Signed-off-by: Jani Nikula <jani.nikula@intel.com>
Documentation/Makefile.sphinx