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]