diff --git a/cohttp/src/dune b/cohttp/src/dune index e0d8f93747..5d39ddd095 100644 --- a/cohttp/src/dune +++ b/cohttp/src/dune @@ -6,7 +6,6 @@ (rule (targets code.ml code.mli) (deps - ../scripts/generate.exe (source_tree "../scripts/codes")) (action (chdir