diff --git a/src/global/url.ml b/src/global/url.ml index d9661863..b713fdbe 100644 --- a/src/global/url.ml +++ b/src/global/url.ml @@ -63,8 +63,12 @@ let patch v = let v2 = "https://v2.ocaml.org" let manual_with_version v = "/doc/V" ^ patch v ^ "/refman/index.html" let manual = "/refman" +let corelib_with_version v = "/doc/V" ^ patch v ^ "/corelib/index.html" +let corelib = "/corelib" let stdlib_with_version v = "/doc/V" ^ patch v ^ "/stdlib/index.html" let stdlib = "/stdlib" +let stdlib_manual_with_version v = "/doc/V" ^ patch v ^ "/refman-stdlib/index.html" +let stdlib_manual = "/refman-stdlib" let api_with_version v = "/doc/V" ^ patch v ^ "/api/index.html" let api = "/api" let books = "/books" diff --git a/src/rocqproverorg_frontend/pages/learn.eml b/src/rocqproverorg_frontend/pages/learn.eml index b976089a..192ae318 100644 --- a/src/rocqproverorg_frontend/pages/learn.eml +++ b/src/rocqproverorg_frontend/pages/learn.eml @@ -27,8 +27,10 @@ Learn_layout.single_column_layout
<%s! Hero_section.hero_button ~left_icon:(Icons.rocq "w-5 h-5") ~right_icon:(Icons.download "w-5 h-5") ~text:("Install Rocq Platform " ^ latest_platform_version) ~href:(Url.install) "" %> - <%s! Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Standard Library") ~href:(Url.stdlib) "" %> <%s! Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Rocq Reference Manual") ~href:(Url.manual) "" %> + <%s! Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Core Library") ~href:(Url.corelib) "" %> + <%s! Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Standard Library Manual") ~href:(Url.stdlib_manual) "" %> + <%s! Hero_section.hero_button ~left_icon:(Icons.book "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Standard Library") ~href:(Url.stdlib) "" %>