diff options
| author | Markus Heiser <[email protected]> | 2016-08-24 17:36:15 +0200 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2016-09-01 08:49:33 -0600 |
| commit | 951499710be258b85c135ee1f7ebe5f7a4b7ac91 (patch) | |
| tree | 0bad393f07efb529a7feca3e9733cf767d2ca3cc /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | cd21379b169827bb4314b72641511593ed9ba2b6 (diff) | |
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 <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions