Commit Graph

6 Commits

Author SHA1 Message Date
Jeremie Dimino 4826d0558a Added comment in Makefile 2017-04-04 13:51:58 +01:00
Jérémie Dimino ba3d278b32 Switch to jbuilder 2017-04-04 13:36:28 +01:00
Jeremie Dimino 5e607f898f change annoying `make install` behavior 2016-08-15 11:01:22 +01:00
Jeremie Dimino aab3878dd8 ignore errors in oasis-generated code
They are none of our concern...
2016-03-02 17:47:00 +00:00
Peter Zotov 35419a3284 Expose API documentation on github pages.
Also, unbreak documentation builds with style.css,
and use @dbuenzli's style, which is quite nicer than
the existing one.
2014-10-28 03:40:23 +03:00
Jérémie Dimino 6e911b41dc Add a Makefile
It compiles setup.ml to a native executable.
2012-10-17 11:36:33 +02:00