From 9683e9deac2707f5904fc5fdb09480deb7d4fdc0 Mon Sep 17 00:00:00 2001 From: Sudha Parimala Date: Thu, 20 Nov 2025 15:42:20 +0100 Subject: [PATCH 1/2] Remove obsolete symlinks Signed-off-by: Sudha Parimala --- doc/dune | 1 - doc/index.mld | 1 - test/generators/html/fonts | 1 - test/generators/html/highlight.pack.js | 1 - test/generators/html/katex.min.css | 1 - test/generators/html/katex.min.js | 1 - test/generators/html/odoc.css | 1 - 7 files changed, 7 deletions(-) delete mode 120000 doc/index.mld delete mode 120000 test/generators/html/fonts delete mode 120000 test/generators/html/highlight.pack.js delete mode 120000 test/generators/html/katex.min.css delete mode 120000 test/generators/html/katex.min.js delete mode 120000 test/generators/html/odoc.css diff --git a/doc/dune b/doc/dune index 0e988c0025..1cddf44e6a 100644 --- a/doc/dune +++ b/doc/dune @@ -4,7 +4,6 @@ driver dune features - index interface ocamldoc_differences odoc_for_authors diff --git a/doc/index.mld b/doc/index.mld deleted file mode 120000 index 27eba18474..0000000000 --- a/doc/index.mld +++ /dev/null @@ -1 +0,0 @@ -odoc.mld \ No newline at end of file diff --git a/test/generators/html/fonts b/test/generators/html/fonts deleted file mode 120000 index d23f5f26f1..0000000000 --- a/test/generators/html/fonts +++ /dev/null @@ -1 +0,0 @@ -../../../src/html_support_files/fonts \ No newline at end of file diff --git a/test/generators/html/highlight.pack.js b/test/generators/html/highlight.pack.js deleted file mode 120000 index 3594f0715a..0000000000 --- a/test/generators/html/highlight.pack.js +++ /dev/null @@ -1 +0,0 @@ -../../../src/html_support_files/highlight.pack.js \ No newline at end of file diff --git a/test/generators/html/katex.min.css b/test/generators/html/katex.min.css deleted file mode 120000 index e5673575fc..0000000000 --- a/test/generators/html/katex.min.css +++ /dev/null @@ -1 +0,0 @@ -../../../src/html_support_files/katex.min.css \ No newline at end of file diff --git a/test/generators/html/katex.min.js b/test/generators/html/katex.min.js deleted file mode 120000 index f94abf9614..0000000000 --- a/test/generators/html/katex.min.js +++ /dev/null @@ -1 +0,0 @@ -../../../src/html_support_files/katex.min.js \ No newline at end of file diff --git a/test/generators/html/odoc.css b/test/generators/html/odoc.css deleted file mode 120000 index c32dbe9235..0000000000 --- a/test/generators/html/odoc.css +++ /dev/null @@ -1 +0,0 @@ -../../../src/html_support_files/odoc.css \ No newline at end of file From af7dabc3422068eac96f16ea7fb40aa9a95d01a7 Mon Sep 17 00:00:00 2001 From: Sudha Parimala Date: Fri, 21 Nov 2025 16:14:36 +0100 Subject: [PATCH 2/2] rename odoc.mld to index.mld --- doc/dune | 1 + doc/{odoc.mld => index.mld} | 0 2 files changed, 1 insertion(+) rename doc/{odoc.mld => index.mld} (100%) diff --git a/doc/dune b/doc/dune index 1cddf44e6a..0e988c0025 100644 --- a/doc/dune +++ b/doc/dune @@ -4,6 +4,7 @@ driver dune features + index interface ocamldoc_differences odoc_for_authors diff --git a/doc/odoc.mld b/doc/index.mld similarity index 100% rename from doc/odoc.mld rename to doc/index.mld