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)