Documentation/media/conf.py · 6f2ec3a9d5489e2b54c63ca648bb00d0857c7a96 · Tobias Schramm / linux-pinephone

8 years ago

doc-rst: define PDF's of the media folder · 95149971

Markus Heiser authored 8 years ago


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>

95149971

History

doc-rst: define PDF's of the media folder

Markus Heiser authored 8 years ago


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>

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

Admin message