sparse/sparse-dev.git - Sparse's development tree with unstable git history

Age	Commit message (Collapse)	Author	Files	Lines
2018-05-21	doc: format dev-options.md as a man page	Luc Van Oostenryck	1	-0/+1
	The file dev-options.md contains the description for extra options not useful for sparse itself and its users but well to sparse's developers and for tools like test-linearize. Since it's a complement to the main man-page, format it at such. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-05-21	doc: add minimal support for sphinx-doc	Luc Van Oostenryck	1	-0/+1
	With this we can generate HTML for the docs in this directory. For the moment, more as an experiment as anything else, this doc is available at http://sparse-doc.rtfd.io Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>