no OPTIONS header before the options on the cat man page

[Dan Jacobson]

There is no OPTIONS header before the options on the cat man page.
Maybe even other man pages too.


_______________________________________________
Bug-coreutils mailing list
[EMAIL PROTECTED]
http://lists.gnu.org/mailman/listinfo/bug-coreutils