From 0b7f5a9305d09706929f4abf272b2ad8ee94a9e1 Mon Sep 17 00:00:00 2001
From: Romain Maliach-Auguste <romain.maliach-auguste@cea.fr>
Date: Tue, 8 Sep 2020 15:13:58 +0200
Subject: [PATCH] typo in command given in the manual
---
doc/userman/user-start.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/userman/user-start.tex b/doc/userman/user-start.tex
index 099980681bb..abb1fbebdaf 100644
--- a/doc/userman/user-start.tex
+++ b/doc/userman/user-start.tex
@@ -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
the following command:
\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{itemize}
--
GitLab