diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2016-08-24 18:36:15 +0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-09-01 17:49:33 +0300 |
| commit | 951499710be258b85c135ee1f7ebe5f7a4b7ac91 (patch) | |
| tree | 0bad393f07efb529a7feca3e9733cf767d2ca3cc /Documentation/gcc-plugins.txt | |
| parent | cd21379b169827bb4314b72641511593ed9ba2b6 (diff) | |
| download | linux-951499710be258b85c135ee1f7ebe5f7a4b7ac91.tar.xz | |
doc-rst: define PDF's of the media folder
To build only the PDF of the media folder run::
make SPHINXDIRS=media pdfdocs
Signed-off-by: Markus Heiser <markus.heiser@darmarIT.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/gcc-plugins.txt')
0 files changed, 0 insertions, 0 deletions