From b913a42739362ac58c9a3df55a80eeacc9af9135 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 8 Aug 2017 13:56:28 +0100 Subject: [PATCH] Fix documentation about library dependencies --- doc/jbuild.rst | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/doc/jbuild.rst b/doc/jbuild.rst index b0e3f1b8..8fe84ed8 100644 --- a/doc/jbuild.rst +++ b/doc/jbuild.rst @@ -656,10 +656,11 @@ Library dependencies Dependencies on libraries are specified using ``(libraries ...)`` fields in ``library`` and ``executables`` stanzas. -For libraries that are present in the workspace, you can use either the real -name (with some restrictions, see below) or the public name. For libraries that -are part of the installed world, you need to use the public name. For instance: -``(libraries (base re))``. +For libraries defined in the current scope, you can use either the +real name or the public name. For libraries that are part of the +installed world, or for libraries that are part of the current +workspace but in another scope, you need to use the public name. For +instance: ``(libraries (base re))``. When resolving libraries, libraries that are part of the workspace are always prefered to ones that are part of the installed world.