diff --git a/doc/userman/user-analysis.tex b/doc/userman/user-analysis.tex
index 926fc9eecd7aba7b21d073d120f60b8fa075ed65..0ee7a66928adad3177a44f2e64231171ccb0320a 100644
--- a/doc/userman/user-analysis.tex
+++ b/doc/userman/user-analysis.tex
@@ -107,8 +107,8 @@ first warning triggered by the kernel.
 
 The two following options modify the behavior of output messages:
 \begin{description}
-\item[\optiondef{-}{add-symbolic-path}] takes a list of the form $name_1:path_1,
-  \dots, name_n:path_n$ in argument and replaces each $path_i$ by $name_i$ when
+\item[\optiondef{-}{add-symbolic-path}] takes a list of the form $path_1:name_1,
+  \dots, path_n:name_n$ in argument and replaces each $path_i$ with $name_i$ when
   displaying file locations in messages.
 \item[\optiondef{-}{permissive}] performs less verification on validity of
   command-line options.
diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex
index 103d9a2f2a8b8812e77a7f8f10ef5b2a7b478f1a..77cd9c6fca0f9e0201596b5970f01344153804cd 100644
--- a/doc/userman/user-changes.tex
+++ b/doc/userman/user-changes.tex
@@ -3,6 +3,11 @@
 This chapter summarizes the changes in this documentation between each \FramaC
 release. First we list changes of the last release.
 
+\begin{itemize}
+\item \textbf{Platform-wide Analysis Option:} swap argument order of
+  \texttt{-add-symbolic-path} (now uses \texttt{path:name}).
+\end{itemize}
+
 \section*{22.0 (Titanium)}
 
 \begin{itemize}
diff --git a/man/frama-c.1 b/man/frama-c.1
index f175412be20b91f5b8c7a1d557822d8e9831fa3d..24d66d9cad8a800beb9afdb9d3445abef1b62e89 100644
--- a/man/frama-c.1
+++ b/man/frama-c.1
@@ -25,7 +25,7 @@
 .\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file
 .\" and run `make man/frama-c.1`.
 
-.TH FRAMA-C 1 2020-10-07
+.TH FRAMA-C 1 2021-01-07
 .SH NAME
 .PP
 frama-c[.byte] - a static analyzer for C programs
@@ -123,6 +123,12 @@ By default, all numerical addresses are considered invalid.
 adds directories \f[I]p1\f[R] through \f[I]pn\f[R] to the list of
 directories in which plugins are searched.
 .TP
+.B \-add\-symbolic\-path \f[I]p1:n1[,p2:n2[\&...,pn:nn]]\f[]
+replaces each path \f[I]pi\f[] with the name \f[I]ni\f[] when displaying
+file locations in messages.
+.RS
+.RE
+.TP
 .B [-no]-aggressive-merging
 merges function definitions modulo renaming.
 Defaults to no.
diff --git a/man/frama-c.1.md b/man/frama-c.1.md
index ca5a103976ccf8734e9140b313d240ca0c79cac4..7f71c13c8b9137771cf91b3aa293b77557af295b 100644
--- a/man/frama-c.1.md
+++ b/man/frama-c.1.md
@@ -85,6 +85,10 @@ By default, all numerical addresses are considered invalid.
 : adds directories *p1* through *pn* to the list of directories in which
 plugins are searched.
 
+-add-symbolic-path *p1:n1[,p2:n2[...,pn:nn]]*
+: replaces each path *pi* with the name *ni* when displaying file locations
+in messages.
+
 [-no]-aggressive-merging
 : merges function definitions modulo renaming. Defaults to no.