From b34f918279647ed8a38cd577a77c24ed94b7ddea Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sun, 24 Jun 2018 08:44:13 +0200
Subject: [PATCH] Fix spurious space at end of verbatim block.
---
doc/manpages.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/manpages.tex b/doc/manpages.tex
index 2e06c2a69..f309f31c3 100644
--- a/doc/manpages.tex
+++ b/doc/manpages.tex
@@ -822,7 +822,7 @@ proof'' example of Section~\ref{chap:starting}.
== Statistics per prover: number of proofs, time (minimum/maximum/average) in seconds ==
Alt-Ergo 0.99.1 : 3 0.00 0.00 0.00
- \end{verbatim}
+\end{verbatim}
}
\subsection{Command \texttt{latex}}
--
GitLab