From ccbae1cf7b8ec43b8ba55226d58c0d48f50e4c6c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 27 Apr 2021 10:18:12 +0200
Subject: [PATCH] [Distrib/doc] Fix Why3 command
---
doc/release/build.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/release/build.tex b/doc/release/build.tex
index e3c9386b25c..4eec599e4e4 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -329,7 +329,7 @@ Please check that the distribution (sources and API) is OK:
\item \verb+./configure --prefix="$PWD/build"+
\item \verb+make+;
\item \verb+make install+;
- \item \verb+rm -f ~/.why3.conf; why3 config --detect+;
+ \item \verb+rm -f ~/.why3.conf; why3 config detect+;
\item \verb+build/bin/frama-c tests/idct/*.c -eva -wp -wp-rte+
\item If you have a GUI, replace \verb+frama-c+ above with \verb+frama-c-gui+
and click around, see if things work (e.g. no segmentation faults).
--
GitLab