This commit is contained in:
Gabriel Scherer 2017-06-08 20:33:21 -04:00 committed by David Allsopp
parent 3983d669db
commit 017e0abbe8
1 changed files with 1 additions and 1 deletions

View File

@ -28,7 +28,7 @@ Technically this is how it works:
Now in order to support (2) and (3), we setup the following rules in
the toplevel =jbuild=:
- a rule to procude =config= by copying =config.default=
- a rule to produce =config= by copying =config.default=
- a rule to produce =config.full= by running =real_configure.ml=
The reason it all work as described is because if Jbuilder knows how