[m-rev.] for review: announce --with-pkgversion option

[Julien Fischer]

For review by anyone.

I've listed the annoucement under an "Other changes" section in the
NEWS file because it doesn't really fit in any of the existing
categories -- can anyone think of a better place to put it, or an
alterantive name for the new section?

-------------------------------------------------------------

Announce --with-pkgversion option.

NEWS.md:
     Announce the recently added --with-pkgversion option to configure.

configure.ac:
     Adjust the help message for --with-pkgversion.

Julien.

diff --git a/NEWS.md b/NEWS.md
index 9535fc8..68df3d2 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -1275,6 +1275,13 @@ Changes to the extras distribution

  * We have deleted the `old_term_parser` library.

+Other changes
+-------------
+
+* We have added a new option, `--with-pkgversion`, to the configure script.
+  This option lets you specify an identifying string that will be included in
+  the version information displayed by programs in the Mercury system.
+
  NEWS for Mercury 22.01.8
  ========================

diff --git a/configure.ac b/configure.ac
index 60d4103..9bb5889 100644
--- a/configure.ac
+++ b/configure.ac
@@ -109,8 +109,8 @@ AC_PREFIX_DEFAULT(/usr/local/mercury-`. ./VERSION; echo $VERSION`)
  #

  AC_ARG_WITH(pkgversion,
-    AS_HELP_STRING([--with-pkgversion],
-    [Specify the package version for version and usage messages.]),
+    AS_HELP_STRING([--with-pkgversion=<pkgversion>],
+    [Specify the package version for version messages.]),
      [PACKAGE="$withval"], [PACKAGE=])

  case "$PACKAGE" in