From dabb77eb0901d4076dd916271a6d10912651e1f3 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Thu, 3 May 2018 14:07:15 +0100 Subject: [PATCH] Rename all jbuild.inc files --- doc/dune | 6 +++--- doc/{jbuild.inc => dune.inc} | 0 test/blackbox-tests/dune | 6 +++--- test/blackbox-tests/{jbuild.inc => dune.inc} | 0 4 files changed, 6 insertions(+), 6 deletions(-) rename doc/{jbuild.inc => dune.inc} (100%) rename test/blackbox-tests/{jbuild.inc => dune.inc} (100%) diff --git a/doc/dune b/doc/dune index 2054d50e..c1429f25 100644 --- a/doc/dune +++ b/doc/dune @@ -18,10 +18,10 @@ ((section man) (files (dune-config.5)))) -(include jbuild.inc) +(include dune.inc) (rule - ((targets (jbuild.inc.gen)) + ((targets (dune.inc.gen)) (deps ((package dune))) (action (with-stdout-to ${@} @@ -29,4 +29,4 @@ (alias ((name runtest) - (action (diff jbuild.inc jbuild.inc.gen)))) + (action (diff dune.inc dune.inc.gen)))) diff --git a/doc/jbuild.inc b/doc/dune.inc similarity index 100% rename from doc/jbuild.inc rename to doc/dune.inc diff --git a/test/blackbox-tests/dune b/test/blackbox-tests/dune index 52f7e509..a8254a66 100644 --- a/test/blackbox-tests/dune +++ b/test/blackbox-tests/dune @@ -17,13 +17,13 @@ (libraries (stdune platform usexp)) (modules (gen_tests)))) -(include jbuild.inc) +(include dune.inc) (rule - ((targets (jbuild.inc.gen)) + ((targets (dune.inc.gen)) (deps ((files_recursively_in test-cases))) (action (with-stdout-to ${@} (run ./gen_tests.exe))))) (alias ((name runtest) - (action (diff jbuild.inc jbuild.inc.gen)))) + (action (diff dune.inc dune.inc.gen)))) diff --git a/test/blackbox-tests/jbuild.inc b/test/blackbox-tests/dune.inc similarity index 100% rename from test/blackbox-tests/jbuild.inc rename to test/blackbox-tests/dune.inc