diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 8c112e4e2636de42f41f589c709ebaf4c747a82c..725ff41181a689c53fb43ae8c1aff33199a4f97e 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -1028,12 +1028,14 @@ themselves (typically, files in \texttt{share}), you can use an
 (install
   (package frama-c-myplugin)
   (section (site (frama-c share)))
-  (files (share/myfile as frama-c-myplugin/myfile)))
+  (files (share/myfile as myplugin-shortname/myfile)))
 \end{dunecode}
 
+{\em Note: Make sure to use the plug-in's shortname in the file path.}
+
 With the stanza above, the installation of package \texttt{frama-c-myplugin}
 will copy \texttt{myfile} from the \texttt{share} directory
-of the plug-in sources into the \texttt{frama-c-myplugin} directory inside
+of the plug-in sources into the \texttt{myplugin-shortname} directory inside
 the \texttt{share} directory of \framac's installation. Other target sections
 are available (e.g. \texttt{bin} for installing an additional executable), see
 the \texttt{dune}