diff --git a/CHANGES.org b/CHANGES.org index 33982557..4b26fe5b 100644 --- a/CHANGES.org +++ b/CHANGES.org @@ -6,6 +6,8 @@ - Remove hard-coded knowledge of a few specific ppx rewriters to ease maintenance moving forward +- Pass the library name to ppx rewriters via the =library-name= cookie + - Fix: make sure the action working directory exist before running it * 1.0+beta7 (12/04/2017) diff --git a/doc/manual.org b/doc/manual.org index 3d3c5c30..24e09900 100644 --- a/doc/manual.org +++ b/doc/manual.org @@ -1303,7 +1303,8 @@ Jbuilder will invoke the executable resulting from linking the libraries given in the =(pps ...)= form as follows: #+begin_src sh -ppx.exe --dump-ast -o [--impl|--intf] +ppx.exe --dump-ast -o \ + [--cookie library-name=""] [--impl|--intf] #+end_src Where == is either an implementation (=.ml=) or interface