From 2014cc2cb3901690db6a46b0d3b5203be28a1767 Mon Sep 17 00:00:00 2001
From: octachron <octa@polychoron.fr>
Date: Mon, 29 Feb 2016 23:07:54 +0100
Subject: Manual: underscore penalties with -short-path

---
 manual/manual/cmds/comp.etex   | 4 +++-
 manual/manual/cmds/native.etex | 4 +++-
 manual/manual/cmds/top.etex    | 4 +++-
 3 files changed, 9 insertions(+), 3 deletions(-)

(limited to 'manual')

diff --git a/manual/manual/cmds/comp.etex b/manual/manual/cmds/comp.etex
index e41b3001fc..0e3fc1fd87 100644
--- a/manual/manual/cmds/comp.etex
+++ b/manual/manual/cmds/comp.etex
@@ -405,7 +405,9 @@ a future version of OCaml.
 \item["-short-paths"]
 When a type is visible under several module-paths, use the shortest
 one when printing the type's name in inferred interfaces and error and
-warning messages.
+warning messages. Identifier names starting with an underscore "_" or
+containing double underscores "__" incur a penalty of $+10$ when computing
+their length.
 
 \item["-strict-sequence"]
 Force the left-hand part of each sequence to have type unit.
diff --git a/manual/manual/cmds/native.etex b/manual/manual/cmds/native.etex
index 33b2399c65..f20a43dcdd 100644
--- a/manual/manual/cmds/native.etex
+++ b/manual/manual/cmds/native.etex
@@ -384,7 +384,9 @@ a future version of OCaml.
 \item["-short-paths"]
 When a type is visible under several module-paths, use the shortest
 one when printing the type's name in inferred interfaces and error and
-warning messages.
+warning messages. Identifier names starting with an underscore "_" or
+containing double underscores "__" incur a penalty of $+10$ when computing
+their length.
 
 \item["-strict-sequence"]
 Force the left-hand part of each sequence to have type unit.
diff --git a/manual/manual/cmds/top.etex b/manual/manual/cmds/top.etex
index 4d1ae5cde7..6dfba25023 100644
--- a/manual/manual/cmds/top.etex
+++ b/manual/manual/cmds/top.etex
@@ -211,7 +211,9 @@ a future version of OCaml.
 \item["-short-paths"]
 When a type is visible under several module-paths, use the shortest
 one when printing the type's name in inferred interfaces and error and
-warning messages.
+warning messages. Identifier names starting with an underscore "_" or
+containing double underscores "__" incur a penalty of $+10$ when computing
+their length.
 
 \item["-stdin"]
 Read the standard input as a script file rather than starting an
-- 
cgit v1.2.1