Commit graph

3 commits

Author SHA1 Message Date
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