[Doc] expand fcmake alias earlier

doc/userman/user-analysis-scripts.tex

@@ -179,7 +179,8 @@ cases). Manual intervention may be necessary.
 \label{sec:using-generated-makefile}
 
 The generated Makefile can be used to run one or several analyses.
-Its basic usage is the following:
+Its basic usage involving the \texttt{fcmake} alias (equivalent to
+\texttt{make -C .frama-c}) is the following:
 
 \begin{itemize}
 \item \texttt{fcmake <target>.parse}: parse the sources