6 commits

Author	SHA1	Message	Date
Jörg Thalheim	f0100f5590	README: improve development docs	2020-07-20 15:46:28 +01:00
Erik Arvstedt	8ad2defdf0	Docs: Fix install prefix ... shell.nix defines the install prefix as $(pwd)/inst	2018-08-21 21:46:43 +02:00
Eelco Dolstra	09191caea8	Add shell.nix	2016-12-06 17:17:29 +01:00
Eelco Dolstra	a2c85b2ef8	Manual: Typo	2014-07-16 11:21:44 +02:00
Eelco Dolstra	3a86888fd7	Typo	2014-02-28 14:01:31 +01:00
Eelco Dolstra	7b09e9f2c4	Add hacking notes plus a script for running nix-shell	2013-07-19 16:51:31 +02:00