Merge pull request #24 from ldorau/Print-titles-of-manuals-to-stdout

Print names of manuals to stdout
mvertes · Jun 3, 2020 · 5c9ef7b · 5c9ef7b
2 parents 990329a + ff00dd4
commit 5c9ef7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src2man b/src2man
@@ -180,7 +180,7 @@ $1 == "/**" && $2 ~ /^[0-9]/ {
 			}
 		}
 	}
-	print title "." sect > "/dev/stderr"
+	print title "." sect > "/dev/stdout"
 	if (nogen) {
 		name = synop = desc = sect = ""
 		next