3 Commits

Author	SHA1	Message	Date
Éric Araujo	a7cbe28bcc	Avoid using the default reST role. Makes Doc/tools/rstlint.py happy.	2011-09-01 19:49:31 +02:00
Éric Araujo	d66d95cdd0	Document working dir for “make html” (#12249). Patch by Tshepang Lekhonkhobe.	2011-06-03 19:25:58 +02:00
Georg Brandl	16269806ba	Add document on how to build.	2010-06-12 09:45:28 +00:00