Clinton Alexander 5ef66d8fd6 Removed old information about Dokka from the building docs documentation. ... Make docsite no longer cleans. Now gradle should be used for cleaning the docs. Corrected docs building gradle script.		2017-03-30 12:23:20 +01:00
..
source	Removed old information about Dokka from the building docs documentation.	2017-03-30 12:23:20 +01:00
build.gradle	Removed old information about Dokka from the building docs documentation.	2017-03-30 12:23:20 +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	Removed docs build directory from repo.	2017-03-30 12:22:59 +01:00
make-docsite.sh	Removed old information about Dokka from the building docs documentation.	2017-03-30 12:23:20 +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