Commit Graph

12 Commits

Author SHA1 Message Date
Kevin Ji 86e667a1b6 README: Use the SVG Travis badge 2017-10-05 23:59:58 -07:00
Jeremie Dimino af5208416f Simplify overrides in the bootstrap path
- vendored libraries are replaced by files in `vendor/boot`
- files named `XXX.boot.EXT` replace their `XXX.EXT` equivalent

For instance, to build boot.exe, we use `src/glob_lexer.boot.ml`
rather than `src/glob_lexer.ml` (which would be generated from
`src/glob_lexer.mll`).
2017-09-22 01:52:04 +01:00
Daniel Hillerström 267ea46c4d Fixed a typo in the documentation. 2017-08-06 11:04:57 +01:00
Jeremie Dimino edb4b8f73c Add a `make release` target
Should help with #192
2017-07-18 10:17:53 +01:00
Ramana Venkata 5829bdb2fc Use https links for manual (#186) 2017-07-14 12:19:55 +01:00
zapashcanon e71ad02f02 Fix typo 2017-07-01 20:10:47 -04:00
Gabriel Scherer 06a179df99 fix README.md
Two things:
1.  `[relative-path]()` does not work with Github markdown (see: [src/]()), you have to write `[relative-path](relative-path)]` (see: [src/](src/)). (`[relative-path][]` and `<relative-path>` don't work either).
2. places using the org-mode syntax `=foo=` where fixed to use backticks instead
2017-06-29 05:24:57 -04:00
Darin Morrison 8dd66ed3d8 Fix link to example directory (#143) 2017-06-13 17:07:36 +01:00
Jeremie Dimino 1255bd22fc typo 2017-06-05 16:33:09 +01:00
Jeremie Dimino d8be1aa894 Add jbuild.mli 2017-06-02 15:00:50 +01:00
Jeremie Dimino dc43906114 Fix link 2017-06-02 13:55:11 +01:00
Jeremie Dimino b546af25c4 Convert a few files to markdown
Markdown works better with github
2017-06-02 13:54:23 +01:00