From f8eb6da1554f52a9df518e15dee13be3dbd7663f Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Mon, 9 May 2016 18:22:43 +0200 Subject: Small improvements to the manual MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- doc/get-started.tex | 3 --- 1 file changed, 3 deletions(-) (limited to 'doc/get-started.tex') diff --git a/doc/get-started.tex b/doc/get-started.tex index 170cf23..9f992c0 100644 --- a/doc/get-started.tex +++ b/doc/get-started.tex @@ -156,14 +156,11 @@ jump, call {\tt setjmp} and {\tt zsetup} again. \begin{alltt} jmp_buf jmpenv; - if (setjmp(jmpenv)) \{ \textcolor{c}{/* \textrm{\ldots} */} \} zsetup(jmpenv); - \textcolor{c}{/* \textrm{\ldots} */} - if (setjmp(jmpenv)) \{ \textcolor{c}{/* \textrm{\ldots} */} \} -- cgit v1.2.3-70-g09d2