Fix `configure' helpstring for older version of bash

On Debian Buster the helpstring did not display all options. This commit fixes it.
flintlib · Oct 9, 2023 · 389478f · 389478f
1 parent 72ff155
commit 389478f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/configure.ac b/configure.ac
@@ -1165,7 +1165,7 @@ Fine tuning of the installation directories:
   --includedir=DIR        C header files [PREFIX/include]
 _ACEOF
 
-    cat <<_ACEOF]
-    m4_divert_pop([HELP_BEGIN])dnl
+    cat <<\_ACEOF]
+m4_divert_pop([HELP_BEGIN])dnl
 
 dnl NOTE: There is supposed to be a missing `fi' here.