13 commits

Author	SHA1	Message	Date
Tobias Pflug	c8c308c0e2	Extend Setup Information ... Add information on how to create a minimal setup: project/jobset.	2020-05-02 16:04:20 +02:00
Tobias Pflug	32c35ed6e6	Add CI badge to README.md	2020-05-02 14:29:19 +02:00
Tobias Pflug	d949726a6e	Update README.md ... Co-authored-by: Graham Christensen <graham@grahamc.com>	2020-05-01 23:57:22 +02:00
Tobias Pflug	cc7827f57a	Update README ... Revamp the whole text providing info on - installation / setup via nixos module - building via nix-build - development environment via nix-shell	2020-05-01 23:28:36 +02:00
Eelco Dolstra	5ae8b54d25	README.md: Link to the latest manual ... (cherry picked from commit 455611b0b4e97290a858687142805babc9929673)	2020-03-13 21:33:22 +01:00
Keshav Kini	4b1af1fc1b	Fix link syntax in README.md (#511)	2017-09-30 22:39:36 +01:00
Graham Christensen	6f6562bc5f	Update build images to be more friendly to users with color blindness. ... Closes #406	2016-11-07 06:53:27 -05:00
Domen Kožar	386a972244	README: fix manual links, fixes #401	2016-10-13 13:36:09 +02:00
Eelco Dolstra	c9ab3b9ffd	README.md: Point to the manual ... Let's not duplicate the hacking instructions here (especially since they were actually wrong).	2016-10-06 14:37:47 +02:00
Alexander Ried	2b7fd6e509	readme: update hacking section	2016-05-12 09:45:51 +02:00
Eelco Dolstra	74426e6820	Simplify running nix-shell ... This also removes building a separate source tarball or building a PDF manual since it's unlikely anybody cares.	2016-03-22 12:53:28 +01:00
Rob Vermaas	14752d7801	Build from source remark in README.md	2015-02-10 13:06:04 +00:00
Rob Vermaas	e211e7771e	Add README.md	2015-02-10 13:04:06 +00:00