Skip to content
Snippets Groups Projects
Verified Commit 0b7f5a93 authored by Roma Auguste's avatar Roma Auguste
Browse files

typo in command given in the manual

parent 5bcef751
No related branches found
No related tags found
No related merge requests found
...@@ -266,7 +266,7 @@ content of the file to \texttt{\~{}/.bash\_completion} ...@@ -266,7 +266,7 @@ content of the file to \texttt{\~{}/.bash\_completion}
\item You can \texttt{source} the file, e.g. from your \texttt{.bashrc} with \item You can \texttt{source} the file, e.g. from your \texttt{.bashrc} with
the following command: the following command:
\begin{verbatim} \begin{verbatim}
source $(frama-c -print-share-path)/.autocomplete_frama-c || true source $(frama-c -print-share-path)/autocomplete_frama-c || true
\end{verbatim} \end{verbatim}
\end{itemize} \end{itemize}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment