Perhaps also warn about obsolete thing on the man page too. $ info -w cor tail|xargs zgrep -ic obsolete 18 $ man tail|grep -ic obsolete 0
_______________________________________________ Bug-coreutils mailing list Bug-coreutils@gnu.org http://lists.gnu.org/mailman/listinfo/bug-coreutils
