From dfbc8659ffcc7e8d48304f9a606a62803f5f6369 Mon Sep 17 00:00:00 2001 From: Emile Trotignon Date: Thu, 21 Sep 2023 11:57:34 +0200 Subject: [PATCH] shorter name --- src/html_support_files/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/html_support_files/dune b/src/html_support_files/dune index 890345bad7..33e12960e2 100644 --- a/src/html_support_files/dune +++ b/src/html_support_files/dune @@ -2,7 +2,7 @@ ; of the vendored projects. (rule - (aliases runtest html-support-files) + (aliases runtest support-files) (enabled_if (> %{ocaml_version} 4.08)) (deps