Hello Jakub, On 9 September 2017 at 00:18, Jakub Klinkovský <j.l.k@xxxxxxx> wrote: > For example, console(4) was deleted from upstream in March 2016 [1], but it > is still available [2] and its colophon section says that it comes from > version 4.05 (the last before it was deleted). On the other hand, > console_codes(4) has the same upstream and its colophon section says that > it comes from the 4.12 version. So pages seem to be updated correctly, but > deletions are not propagated to the web repository. > > [1] https://git.kernel.org/pub/scm/docs/man-pages/man-pages.git/commit/?id=0f9e6478e403b26c24ecaa6761bc53d05cf04265 > [2] http://man7.org/linux/man-pages/man4/console.4.html > [3] http://man7.org/linux/man-pages/man4/console_codes.4.html Thanks for the note. This problem is fixed now. 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
