diff options
Diffstat (limited to 'macros/generic/memoize/memoize-extract.pl')
-rwxr-xr-x | macros/generic/memoize/memoize-extract.pl | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/macros/generic/memoize/memoize-extract.pl b/macros/generic/memoize/memoize-extract.pl index d5cd1f9aa4..0f2cfa3a22 100755 --- a/macros/generic/memoize/memoize-extract.pl +++ b/macros/generic/memoize/memoize-extract.pl @@ -19,7 +19,7 @@ # <texmf>/doc/generic/memoize/FILES. my $PROG = 'memoize-extract.pl'; -my $VERSION = '2024/03/15 v1.2.0'; +my $VERSION = '2024/04/02 v1.3.0'; use strict; use File::Basename qw/basename/; @@ -86,6 +86,7 @@ sub error { print(STDOUT "$_\n"); } if ($log) { + $short =~ s/\\/\\string\\/g; $long =~ s/\\/\\string\\/g; $_ = $ERROR{$format}; s/\$short/$short/; @@ -98,12 +99,6 @@ sub error { sub warning { my $text = shift; - if ($log) { - $_ = $WARNING{$format}; - s/\$texindent/$texindent/; - s/\$text/$text/; - print(LOG "$_\n"); - } if (! $quiet) { $_ = $WARNING{''}; s/\$header/$header/; @@ -111,6 +106,13 @@ sub warning { s/\$text/$text/; print(STDOUT "$_\n"); } + if ($log) { + $_ = $WARNING{$format}; + $text =~ s/\\/\\string\\/g; + s/\$texindent/$texindent/; + s/\$text/$text/; + print(LOG "$_\n"); + } $exit_code = 10; } @@ -124,6 +126,7 @@ sub info { print(STDOUT "$_\n"); if ($log) { $_ = $INFO{$format}; + $text =~ s/\\/\\string\\/g; s/\$texindent/$texindent/; s/\$text/$text/; print(LOG "$_\n"); |