forked from mirrors/linux
		
	Add minimal conf.py and moved dev-tools/tools.rst to dev-tools/index.rst makes the dev-tools folder buildable stand-alone. To build only this folder run:: make SPHINXDIRS=dev-tools htmldocs make SPHINXDIRS=dev-tools pdfdocs Signed-off-by: Markus Heiser <markus.heiser@darmarit.de> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
		
			
				
	
	
		
			10 lines
		
	
	
	
		
			223 B
		
	
	
	
		
			Python
		
	
	
	
	
	
			
		
		
	
	
			10 lines
		
	
	
	
		
			223 B
		
	
	
	
		
			Python
		
	
	
	
	
	
# -*- 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'),
 | 
						|
]
 |