Web repository still contains old pages deleted from upstream

Web repository still contains old pages deleted from upstream

[Jakub Klinkovský]

[-- Attachment #1: Type: text/plain, Size: 650 bytes --]

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

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

Re: Web repository still contains old pages deleted from upstream

[Michael Kerrisk (man-pages)]

Hello Jakub,

On 9 September 2017 at 00:18, Jakub Klinkovský <j.l.k-KK0ffGbhmjU@public.gmane.org> 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-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html