From 5cac4792452d3e3c2c73f80dd6d4becdef2c49ba Mon Sep 17 00:00:00 2001 From: Jon Ludlam Date: Fri, 7 Feb 2025 10:54:23 +0000 Subject: [PATCH] Doc: Mention links to current package docs --- doc/odoc_for_authors.mld | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/odoc_for_authors.mld b/doc/odoc_for_authors.mld index ddb7a81776..203b2004a1 100644 --- a/doc/odoc_for_authors.mld +++ b/doc/odoc_for_authors.mld @@ -470,6 +470,7 @@ This is useful if the module name is ambiguous, e.g., if there are two modules [ You may need to add the library to the per-package config file. - [odoc3]: [ {!/package/path/to/page-foo} ] - this is a path to a page [foo] in the package [package]. The package will need to be added to the per-package config file. +- [odoc3]: [ {!//path/to/page-foo} ] - this is a path to a page [foo] in the {i current} package. The prefixes supported are: - [module]