summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorAndreas Scherer <andreas_tex@freenet.de>2024-06-05 09:28:10 +0000
committerAndreas Scherer <andreas_tex@freenet.de>2024-06-05 09:28:10 +0000
commitdc2db841e0810e70587124391cdb95c0560af6d6 (patch)
treeed2cdcf6b48fb90e446c7b432c5d958dd4dd59c6 /Build
parent3980e009fdc291a81d9870e879194b6e21540d96 (diff)
Restore @x comment.
Only replace leading '-' in @x comments. Also fix special case "@ @c" (with or without following space after '@'). git-svn-id: svn://tug.org/texlive/trunk@71439 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/texk/web2c/tests/fix-changefile-lines.py4
-rw-r--r--Build/source/texk/web2c/tex.ch6
2 files changed, 5 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/tests/fix-changefile-lines.py b/Build/source/texk/web2c/tests/fix-changefile-lines.py
index b5059d5ec27..19b8c32233d 100755
--- a/Build/source/texk/web2c/tests/fix-changefile-lines.py
+++ b/Build/source/texk/web2c/tests/fix-changefile-lines.py
@@ -75,7 +75,7 @@ class WebReader:
self.part_cnt += 1
self.section_cnt += 1
- if re.search("^@ ", line):
+ if re.search("^@ ", line) or line == "@":
self.section_cnt += 1
return (part, section, line_number), line
@@ -169,7 +169,7 @@ class ChangeReader:
pattern = " -+ "
# Remove potentially text comment separator.
if re.match(pattern, text):
- text = re.sub(pattern, "", text).strip()
+ text = re.sub(pattern, "", text, 1).strip()
# Create line with standard tag.
new_line = f"@x [{part}.{section}] l.{line_number}"
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch
index 96603f96d0d..e57d494170a 100644
--- a/Build/source/texk/web2c/tex.ch
+++ b/Build/source/texk/web2c/tex.ch
@@ -2151,7 +2151,7 @@ if name=str_ptr-1 then {we can try to conserve string pool space now}
begin job_name:=get_job_name(cur_name); open_log_file;
@z
-@x [29.537] l.10390 - -
+@x [29.537] l.10390
if term_offset+length(name)>max_print_line-2 then print_ln
else if (term_offset>0)or(file_offset>0) then print_char(" ");
print_char("("); incr(open_parens); slow_print(name); update_terminal;
@@ -3372,7 +3372,7 @@ else begin n:=cur_chr; get_r_token; p:=cur_cs; define(p,relax,256);
@!flushable_string:str_number; {string not yet referenced}
@y
@z
-@x [49.1260] l.23409 - new_font: string recyclingalready done
+@x [49.1260] l.23409 - new_font: string recycling -- already done
flushable_string:=str_ptr-1;
@y
@z
@@ -3391,7 +3391,7 @@ flushable_string:=str_ptr-1;
%
% otherwise the wrong string will get removed by |flush_string|!!
%
-@x [49.1260] l.23412 - new_font: string recyclingalready done
+@x [49.1260] l.23412 - new_font: string recycling -- already done
begin if cur_name=flushable_string then
begin flush_string; cur_name:=font_name[f];
end;