Erik Arvstedt 8ad2defdf0 Docs: Fix install prefix ... shell.nix defines the install prefix as $(pwd)/inst		2018-08-21 21:46:43 +02:00
..
manual	Docs: Fix install prefix	2018-08-21 21:46:43 +02:00