5 commits

Author	SHA1	Message	Date
Frederik Rietdijk	95dfbe2d63	doc: organize chapters into parts, and reduce toc depth ... Reorganize the chapters into parts and reduce the TOC depth to make the TOC useful again. The top-level TOC is very brief, but that is fine because every part will have its own TOC. Section titles of languages/frameworks are also simplified to just the name of the language/framework.	2019-10-20 13:35:04 +02:00
Marco Perone	349a843ef4	build-idris-package: add documentation on idris commands options	2019-08-06 09:11:37 +02:00
Silvan Mosberger	eda8c36795	doc/idris: Fix install instructions ... Because of nix-env weirdness, I introduced a mistake in the docs in https://github.com/NixOS/nixpkgs/pull/50182, this fixes it.	2019-06-15 18:25:41 +02:00
Silvan Mosberger	f8a1333c8e	nixpkgs idris docs: Update and improve	2018-11-12 13:23:31 +01:00
Graham Christensen	92d53362d4	Move all nixpkgs doc files in to the doc directory ... This makes a makefile-driven developer workflow nicer.	2018-03-25 19:52:00 -04:00