Hello Hal, On 2 November 2015 at 03:22, Hal Perkins <perkins@xxxxxxxxxxxxxxxxx> wrote: > Hello - > > First a thanks for all the work to keep the linux man pages current and > online, and for the Linux Programming Interface book, which has been a > steady companion for a while now. Good to hear! > I did run across something that seemed strange today when I was trying to go > over some linux topics with some students. There doesn't seem to be any > manual page for grep in the online set. I may be looking in the wrong > place, but if it is indeed missing, would it be possible to add it? Many > similar things like sed do seem to be there. > > Thank you for your help. Thanks for the info. grep(1) is now there: http://man7.org/linux/man-pages/man1/grep.1.html Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
