Documentation: Add support for building with Sphinx

This commit adds the necessary infrastructure to convert the Markdown
files in the Documentation directory to HTML using Sphinx[1] and
recommonmark[2]. I selected "sphinx_rtd_theme" as the theme, because it
offers a useful navigation sidebar, and because it's already used for
the Linux kernel[3].

Makefile.sphinx was auto-generated by sphinx-quickstart. was
auto-generated and manually adjusted.


Change-Id: Ie4de96978e334c598cf5890775807d3e15c29c4d
Signed-off-by: Jonathan Neuschäfer <>
Tested-by: build bot (Jenkins) <>
Reviewed-by: Patrick Georgi <>
diff --git a/Documentation/Makefile b/Documentation/Makefile
index ecfbdb4..b5f97d1 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -63,7 +63,13 @@
 	grep '^config' $< | awk '{print $2}'  >>$@
 	cat endverbatim.tex  >> $@
+	$(MAKE) -f Makefile.sphinx html
+	$(MAKE) -f Makefile.sphinx clean
+clean: clean-sphinx
 	rm -f *.aux *.idx *.log *.toc *.out $(FIGS) mainboardkconfig.tex skconfig.tex cpukconfig.tex socketfkconfig.tex
 distclean: clean