From a8523a93cfff2e3a2b60ee11a072cb430ab1bfd0 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 3 Jun 2020 11:36:44 +0200
Subject: [PATCH] [Doc/Userman] add clarification about creduce having to be
installed
---
doc/userman/user-analysis-scripts.tex | 3 +++
1 file changed, 3 insertions(+)
diff --git a/doc/userman/user-analysis-scripts.tex b/doc/userman/user-analysis-scripts.tex
index 427a34976b0..72dd39385cd 100644
--- a/doc/userman/user-analysis-scripts.tex
+++ b/doc/userman/user-analysis-scripts.tex
@@ -312,6 +312,9 @@ different. It is available at\\
described in a post from the \FramaC blog.
\end{description}
+To use the \texttt{creduce.sh} script, you need to have the C-Reduce tool
+installed in your path or in environment variable \texttt{CREDUCE}.
+
\section{Practical Examples: Open Source Case Studies}
The {\em open-source-case-studies} Git repository (OSCS for short),
--
GitLab