Gilles Peskine
ec82da4cb2
Restored note about using minimum functionality in makefiles
2017-10-03 22:21:47 +01:00
Gilles Peskine
82759aa1c7
Note in README that GNU make is required
...
Our README claims that we only use basic Make functionality, but in
fact GNU make is required for conditional compilation. Document this.
Addresses issue #967
2017-10-03 22:21:33 +01:00
Andres AG
1a6e9c30f1
Add porting information to the main README
2017-02-06 16:53:30 +00:00
Jaakko Korhonen
c57c097cd5
Fixed typo in README.md
...
Removed an extra e from agreement.
2016-11-16 17:11:10 +00:00
Simon Butcher
741f230e78
Update to README.md
...
Update to contribution guidelines, some fixes in the language, minor
refinements and corrections.
2016-09-06 21:28:35 +01:00
Manuel Pégourié-Gonnard
f7a4688257
Mention new test script in Readme
2015-10-28 13:43:43 +01:00
Manuel Pégourié-Gonnard
7980096899
Further update Redmes regarding the two editions
2015-10-22 10:48:47 +02:00
Jeremie Miller
c57556e52a
tiny spelling fixes
2015-09-12 09:57:23 -06:00
Manuel Pégourié-Gonnard
f851f14214
Moe top-level Readme to markdown
...
For consistency
2015-09-03 13:29:45 +02:00
