Index: parametric/common.awk
===================================================================
--- parametric/common.awk	(revision 21599)
+++ parametric/common.awk	(revision 21600)
@@ -601,8 +601,10 @@
 			}
 			if (skip)
 				continue
-			if (key in OVER)
+			if (key in OVER) {
 				print OVER[key]
+				OVER[key "::PRINTED"] = 1
+			}
 			else
 				print line
 		}
@@ -612,12 +614,16 @@
 		help_extract(SEEN, tmp, dirn, OVER, IGN)
 }
 
-function help_print(   SEEN, dirn)
+function help_print(   SEEN, OVER, dirn, k)
 {
 	print "#@@info-generator pcblib common.awk"
 	dirn = genfull
 	sub("/[^/]*$", "", dirn)
-	help_extract(SEEN, genfull, dirn)
+	help_extract(SEEN, genfull, dirn, OVER)
+	for(k in OVER) {
+		if (!(k ~ "::PRINTED$") && !((k "::PRINTED") in OVER))
+			print OVER[k]
+	}
 }
 
 function help_auto()