gbranden pushed a commit to branch master
in repository groff.
commit 3b680c8500ccca576c95253009e28764c36e9cd2
Author: G. Branden Robinson <[email protected]>
AuthorDate: Sat Oct 17 10:06:11 2020 +1100
[afmtodit]: Report program name in warnings.
* src/utils/afmtodit/afmtodit.pl: Report program name in warning
diagnostics.
Continues the long process of fixing Savannah #52463.
---
ChangeLog | 7 +++++++
src/utils/afmtodit/afmtodit.pl | 8 ++++----
2 files changed, 11 insertions(+), 4 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index d5a8752..a0d5dd5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2020-10-17 G. Branden Robinson <[email protected]>
+
+ * src/utils/afmtodit/afmtodit.pl: Report program name in warning
+ diagnostics.
+
+ Continues the long process of fixing Savannah #52463.
+
2020-10-16 G. Branden Robinson <[email protected]>
* src/preproc/eqn/main.cpp (main):
diff --git a/src/utils/afmtodit/afmtodit.pl b/src/utils/afmtodit/afmtodit.pl
index 449e524..7e06311 100644
--- a/src/utils/afmtodit/afmtodit.pl
+++ b/src/utils/afmtodit/afmtodit.pl
@@ -236,11 +236,11 @@ while (<MAP>) {
if ($field[1] eq "space") {
# The PostScript character "space" is automatically mapped
# to the groff character "space"; this is for grops.
- warn "you are not allowed to map to " .
+ warn "$prog: you are not allowed to map to " .
"the groff character 'space'";
}
elsif ($field[0] eq "space") {
- warn "you are not allowed to map " .
+ warn "$prog: you are not allowed to map " .
"the PostScript character 'space'";
}
else {
@@ -278,7 +278,7 @@ if (!$opt_x) {
if ($nmap{$ch}) {
for (my $j = 0; $j < $nmap{$ch}; $j++) {
if (defined $mapped{$map{$ch, $j}}) {
- warn "both $mapped{$map{$ch, $j}} and $ch " .
+ warn "$prog: both $mapped{$map{$ch, $j}} and $ch " .
"map to $map{$ch, $j}";
}
else {
@@ -386,7 +386,7 @@ if (!$opt_x) {
$u =~ s/^_/u/;
if ($u) {
if (defined $mapped{$u}) {
- warn "both $mapped{$u} and $ch map to $u";
+ warn "$prog: both $mapped{$u} and $ch map to $u";
}
else {
$mapped{$u} = $ch;
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
