From c7e66b7bd62ea6538acfd93133aee663280cf5fd Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 26 Sep 2025 09:14:50 +0200 Subject: [PATCH] docs/Project.toml: add Oscar with sources path --- docs/Project.toml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/Project.toml b/docs/Project.toml index c83c311366a5..5fd7d3e025aa 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -2,8 +2,12 @@ Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" DocumenterCitations = "daee34ce-89f3-4625-b898-19384cb65244" JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" +Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13" [compat] Documenter = "1.9.0" DocumenterCitations = "~1.3.4" JSON = "0.21.4" + +[sources] +Oscar = {path = ".."}