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 [email protected] http://lists.gnu.org/mailman/listinfo/bug-coreutils
