gawk: remove duplicated "-i" in a sed command

This commit is contained in:
Xi Ruoyao 2022-09-15 18:22:44 +08:00
parent ea94a21b79
commit 46b05a0832
No known key found for this signature in database
GPG Key ID: ACAAD20E19E710E3

View File

@ -46,7 +46,7 @@
<para>Now fix a programming error identified upstream:</para> <para>Now fix a programming error identified upstream:</para>
<screen><userinput remap="pre">sed -i -i '241i UPREF(m);' interpret.h</userinput></screen> <screen><userinput remap="pre">sed -i '241i UPREF(m);' interpret.h</userinput></screen>
<para>Prepare Gawk for compilation:</para> <para>Prepare Gawk for compilation:</para>