remove validatemenus and fix C/S

OCamlPro · Jan 13, 2024 · 99fd6ad · 99fd6ad
1 parent 4bd5ba0
commit 99fd6ad
Show file tree

Hide file tree

Showing 7 changed files with 899 additions and 899 deletions.
diff --git a/guide/7.texi b/guide/7.texi
@@ -663,6 +663,9 @@ As part of the @code{TIMES} clause of a @statementref{PERFORM}.
 @comment *********************************************************************
 @page
 @newsection{7.8,GnuCOBOL Statements}
+@comment The following menu is hidden in html mode because it makes
+@comment makeinfo segfault on some Linux distributions, and it is not
+@comment actually necessary in html mode.
 @iftex
 @menu
 * 7.8.1:  ACCEPT

diff --git a/guide/PDFs/gnucobpg-letter.pdf b/guide/PDFs/gnucobpg-letter.pdf
diff --git a/guide/PDFs/gnucobpr-letter.pdf b/guide/PDFs/gnucobpr-letter.pdf
diff --git a/guide/PDFs/gnucobqr-letter.pdf b/guide/PDFs/gnucobqr-letter.pdf
diff --git a/guide/PDFs/gnucobsp-letter.pdf b/guide/PDFs/gnucobsp-letter.pdf