diff options
Diffstat (limited to 'Documentation/dev-tools/conf.py')
| -rw-r--r-- | Documentation/dev-tools/conf.py | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Documentation/dev-tools/conf.py b/Documentation/dev-tools/conf.py deleted file mode 100644 index 7faafa3f7888..000000000000 --- a/Documentation/dev-tools/conf.py +++ /dev/null | |||
| @@ -1,10 +0,0 @@ | |||
| 1 | # -*- coding: utf-8; mode: python -*- | ||
| 2 | |||
| 3 | project = "Development tools for the kernel" | ||
| 4 | |||
| 5 | tags.add("subproject") | ||
| 6 | |||
| 7 | latex_documents = [ | ||
| 8 | ('index', 'dev-tools.tex', project, | ||
| 9 | 'The kernel development community', 'manual'), | ||
| 10 | ] | ||