# -*- 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'), ]