* create \index entries in the messages.inc for an index of message texts and numbers in the user manual

git-svn-id: trunk@48517 -
This commit is contained in:
florian 2021-02-06 16:59:02 +00:00
parent b1f7fb4ba1
commit 539a578cce

View File

@ -730,6 +730,9 @@ begin
end;
if s[i+k]='_' then
inc(i,k+1);
if number<>'' then
writeln(t,'\index[msgnr]{',number,'}');
writeln(t,'\index[msgtxt]{',escapestring(Copy(s,i,255)),'}');
writeln(t,'\item ['+s1+escapestring(Copy(s,i,255))+'] \hfill \\');
end
else