From b77733e5805b9803febea8b90c71ee24f754dc02 Mon Sep 17 00:00:00 2001
From: David Declerck <david.declerck@ocamlpro.com>
Date: Thu, 9 Jan 2025 15:26:58 +0100
Subject: [PATCH] Fix for missing @end verbatim in doc

---
 doc/ChangeLog      | 4 ++++
 doc/cbrunt.tex.gen | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 0426aa852..5be193fa6 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,4 +1,8 @@
 
+2025-01-09  David Declerck <david.declerck@ocamlpro.com>
+
+	* cbrunt.tex.gen: fix for missing "@end verbatim"
+
 2024-10-30  Chuck Haatvedt <chuck.haatvedt@gmail.com>
 
 	* gnucobol.texi: document new multiple window function
diff --git a/doc/cbrunt.tex.gen b/doc/cbrunt.tex.gen
index b88d310ec..de8b926b0 100755
--- a/doc/cbrunt.tex.gen
+++ b/doc/cbrunt.tex.gen
@@ -102,7 +102,7 @@ section == 0 { next }
 
 /^## / {
     sub( /^## /, "" )
-    if( section++ > 1 ) {
+    if( section++ >= 1 ) {
 	print "@end verbatim\n"
     }
     print "@section", $0