Hi Kir, > BTW I have overlooked that there's a git repo available for man-pages; I > though if it exists it should be noted at > http://www.kernel.org/doc/man-pages/patches.html page so I looked no > further. I suggest you to add a note about git repo to it. Good point. I had updated the downloads page to mention the git repo, but not the patches page. Fixed now. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ git://git.kernel.org/pub/scm/docs/man-pages/man-pages.git man-pages online: http://www.kernel.org/doc/man-pages/online_pages.html Found a bug? http://www.kernel.org/doc/man-pages/reporting_bugs.html -- 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