Small fixes to gawkbug and its man page.

4 files changed, 21 insertions, 9 deletions

diff --git a/ChangeLog b/ChangeLog
index 2b330a3d..a1c9443a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-04-18         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* gawkbug.in: Small changes.
+
 2022-04-01         Arnold D. Robbins     <arnold@skeeve.com>
 
 	Small fix from the persistent-gawk guys.
diff --git a/doc/ChangeLog b/doc/ChangeLog
index e31adf7c..d1bc266f 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,6 +1,7 @@
 2022-04-18         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* gawktexi.in (Adding Code): Update coding style instructions.
+	* gawkbug.1: Small changes.
 
 2022-03-10         Arnold D. Robbins     <arnold@skeeve.com>
 
diff --git a/doc/gawkbug.1 b/doc/gawkbug.1
index eb6889e7..c9fa4283 100644
--- a/doc/gawkbug.1
+++ b/doc/gawkbug.1
@@ -4,9 +4,9 @@
 .\"     Arnold Robbins
 .\"     bug-gawk@gnu.org
 .\"
-.\"     Last Change: Sat Feb 26 22:38:19 IST 2022
+.\"     Last Change: Mon Apr 18 16:21:25 IDT 2022
 .\"
-.TH GAWKBUG 1 "2022 Feb 26" "GNU Awk 5.2"
+.TH GAWKBUG 1 "2022 Apr 18" "GNU Awk 5.2"
 .SH NAME
 gawkbug \- report a bug in gawk
 .SH SYNOPSIS
@@ -14,7 +14,9 @@ gawkbug \- report a bug in gawk
 .SH DESCRIPTION
 .B gawkbug
 is a shell script to help the user compose and mail bug reports
-concerning gawk in a standard format.
+concerning
+.B gawk
+in a standard format.
 .B gawkbug
 invokes the editor specified by the environment variable
 .SM
@@ -28,7 +30,8 @@ file \fIdead.gawkbug\fP in the invoking user's home directory.
 .PP
 The bug report format outline consists of several sections.  The first
 section provides information about the machine, operating system, the
-gawk version, and the compilation environment.  The second section
+.B gawk
+version, and the compilation environment.  The second section
 should be filled in with a description of the bug.  The third section
 should be a description of how to reproduce the bug.  The optional
 fourth section is for a proposed fix.  Fixes are encouraged.
@@ -44,7 +47,7 @@ is not set,
 .B gawkbug
 attempts to locate a number of alternative editors, including
 .BR vim ,
-and if must,
+and if it must,
 .BR emacs .
 If
 .B gawkbug
diff --git a/gawkbug.in b/gawkbug.in
index 7e13ec5e..b04e7de3 100644
--- a/gawkbug.in
+++ b/gawkbug.in
@@ -38,14 +38,14 @@ export PATH
 : ${TMPDIR:=/tmp}
 
 #Securely create a temporary directory for the temporary files
-TEMPDIR=$TMPDIR/bbug.$$
+TEMPDIR=$TMPDIR/gbug.$$
 (umask 077 && mkdir "$TEMPDIR") || {
 	echo "$0: could not create temporary directory" >&2
 	exit 1
 }
 
-TEMPFILE1=$TEMPDIR/bbug1
-TEMPFILE2=$TEMPDIR/bbug2
+TEMPFILE1=$TEMPDIR/gbug1
+TEMPFILE2=$TEMPDIR/gbug2
         
 USAGE="Usage: $0 [--help] [--version] [bug-report-email-address]"
 VERSTR="GNU gawkbug, version ${VERSION}"
@@ -83,7 +83,11 @@ for when Gawk doesn't behave like you'd like, or expect.
 Gawkbug will start up your editor (as defined by the shell's
 EDITOR environment variable) with a preformatted bug report
 template for you to fill in. The report will be mailed to the
-bug-gawk mailing list by default. See the manual for details.
+bug-gawk mailing list by default.
+
+Please see https://www.gnu.org/software/gawk/manual/html_node/Bugs.html
+for bug reporting instructions.  Reading that information before
+repoting a bug will make everyones' lives easier.
 
 If you invoke gawkbug by accident, just quit your editor without
 saving any changes to the template, and no bug report will be sent.