On 05/01/13 20:16, Ezio Melotti wrote: > Hi, > > On Wed, May 1, 2013 at 8:03 PM, Simon Paillard > <simon.paillard@xxxxxxxxxxxxxxxxxxxxxx> wrote: >> Hi, >> >> On Tue, Apr 30, 2013 at 11:03:03AM +0300, Ezio Melotti wrote: >>> The second line of the "Description" of the tzfile man page contains a typo: >>> "The time zone information files used by tzset(3) begin with the magic >>> characters "TZif" to identify then as time zone information files" >>> >>> s/then/them/ >>> >>> $ man -w 5 tzfile >>> /usr/share/man/man5/tzfile.5.gz >>> $ dpkg -p manpages-dev | grep Version >>> Version: 3.40-0.1ubuntu3 >> >> Fixed since man-pages-3.41 by commit >> commit 56c4cc3618d12e91128199528b63241c3a2675ec >> Author: Michael Kerrisk <mtk.manpages@xxxxxxxxx> >> Date: Fri May 4 06:52:26 2012 +1200 >> >> tzfile.5: Mention timezone directories in DESCRIPTION >> > > Thanks for confirming that this is already fixed. > >> FYI, you check whether a bug is already fixed upstream by checking online >> manpages at http://man7.org/linux/man-pages/man5/tzfile.5.html >> > > I now noticed that > https://www.kernel.org/doc/man-pages/what_version.html suggests to > check the online pages, but unfortunately I missed it when I reported > the issue. Maybe this could be added to the bullet list at the bottom > of https://www.kernel.org/doc/man-pages/reporting_bugs.html too. Ezio, Thanks for the suggestion. I've made that change (it's not yet live--it'll go out with the next web site update). Cheers, Michael -- 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