diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2016-11-02 16:37:11 +0200 |
|---|---|---|
| committer | Jani Nikula <jani.nikula@intel.com> | 2016-11-03 12:36:56 +0200 |
| commit | 0af205ea6c35ad540d638351ce37457e3ee2bac8 (patch) | |
| tree | 8f31c313fe9294c521dbf3e58e6be477d724ab31 /Documentation | |
| parent | eaed1b25a783121ecd4fb4eccebe45b08675b915 (diff) | |
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>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/Makefile.sphinx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx |