Check-in by ben on 2024-08-05 23:36:34

Remove unnecessary $0 argument from print command.

 INSERTED    DELETED
        2          2 src/web.awk
        2          2 TOTAL over 1 changed file

Index: src/web.awk
==================================================================
--- src/web.awk
+++ src/web.awk
@@ -104,11 +104,11 @@
        if (NR < marker) {
            if ($0 ~ /^References$/) {
                marker = NR
            }
            if (type == TYPE_TEXT) {
-                print $0
+                print
            }
        } else {
            print_ref_full($0, base, proto, root)
        }
    }
@@ -131,11 +131,11 @@
        gsub(/\t/, "        ")
        if (NR < marker) {
            if ($0 ~ /^References$/) {
                marker = NR
            }
-            print $0
+            print
        } else {
            print_ref_pharos($0)
        }
    }
    close(cmd)

You are viewing proxied material from tilde.pink. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.