From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 29 May 2008 18:39:13 GMT
Subject: Re: [PATCH] Documentation: convert "glossary" and "core-tutorial" to man pages
Message-ID: <7vve0xneem.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <20080529192146.20bb0f09.chriscool@tuxfamily.org>

Christian Couder <chriscool@tuxfamily.org> writes:

> 	By the way I noticed that HTML files with the old name:
>
> 	- core-tutorial.html
> 	- tutorial.html
> 	- tutorial-2.html
>
> 	and their corresponding ".txt" files are still in the 
> 	Autogenerated HTML docs for v1.5.6-rc0-46-gd2b3:

Thanks for letting me know --- I think you spotted a bug in dodoc.sh
script on 'todo' branch.  Unfortunately I won't have time to look into it
right now...