hc
2023-12-04 f33f61bdb7ca6d5ebe7a78f9d8694b91360279ac
1
2
3
4
5
6
7
8
9
10
# -*- coding: utf-8; mode: python -*-
 
project = "Development tools for the kernel"
 
tags.add("subproject")
 
latex_documents = [
    ('index', 'dev-tools.tex', project,
     'The kernel development community', 'manual'),
]