Clinton Alexander b80aaa0e9d Moved the build docs functionality into build.gradle. ... Removed redundant parts of the docsite generator. Gradle now calls the docsite requirements installation script when building docs via buildDocs Added docs build script and moved all docs building related code into it Corrected directories for build.		2017-03-30 12:22:15 +01:00
..
build	Regen docsite	2017-03-24 12:52:32 +01:00
source	Moved the build docs functionality into build.gradle.	2017-03-30 12:22:15 +01:00
build.gradle	Moved the build docs functionality into build.gradle.	2017-03-30 12:22:15 +01:00
index.html	Added a convenience HTML file for redirecting to the main docs.	2016-11-22 11:56:46 +00:00
install-docsite-requirements.sh	Moved the build docs functionality into build.gradle.	2017-03-30 12:22:15 +01:00
Makefile	Introduce documentation of the current prototype with a contract programming tutorial (incomplete), using the Sphinx docs engine.	2015-11-25 18:01:37 +01:00
requirements.txt	docs: Add build_docs.sh	2016-07-11 12:17:18 +01:00
robots.txt	Moved the build docs functionality into build.gradle.	2017-03-30 12:22:15 +01:00