01 Sep, 2016

1 commit

• 951499710   doc-rst: define PDF's of the media folder ... Browse Code »

  To build only the PDF of the media folder run::

  make SPHINXDIRS=media pdfdocs

  Signed-off-by: Markus Heiser
  Signed-off-by: Jonathan Corbet

  Markus Heiser

  2016-09-01 22:49:33 +0800  

19 Aug, 2016

1 commit

• 505f71117   doc-rst: add index to sub-folders ... Browse Code »

  Add a index if only a sub-folder is build e.g.::

  make SPHINXDIRS=media cleandocs htmldocs

  BTW: removed dead search link in the top-index file

  Signed-off-by: Markus Heiser
  Signed-off-by: Jonathan Corbet

  Markus Heiser

  2016-08-19 05:31:56 +0800  

15 Aug, 2016

1 commit

• b32febad7   doc-rst: add stand-alone conf.py to media folder ... Browse Code »

  With the media/conf.py, and media/index.rst the media folder can be
  build and distributed stand-alone.

  Signed-off-by: Markus Heiser
  Signed-off-by: Jonathan Corbet

  Markus Heiser

  2016-08-15 01:52:16 +0800