From 017e0abbe859904cdefd010b0a91b2eeb7868e85 Mon Sep 17 00:00:00 2001 From: Gabriel Scherer Date: Thu, 8 Jun 2017 20:33:21 -0400 Subject: [PATCH] fix typo --- example/sample-projects/with-configure-step/README.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/example/sample-projects/with-configure-step/README.org b/example/sample-projects/with-configure-step/README.org index 659d01eb..064d5c91 100644 --- a/example/sample-projects/with-configure-step/README.org +++ b/example/sample-projects/with-configure-step/README.org @@ -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