505f711174
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 <markus.heiser@darmarIT.de> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
6 lines
110 B
Python
6 lines
110 B
Python
# -*- coding: utf-8; mode: python -*-
|
|
|
|
project = "Linux GPU Driver Developer's Guide"
|
|
|
|
tags.add("subproject")
|