Re: [PATCH] Documentation: convert "glossary" and "core-tutorial" to man pages

Christian Couder [off-list ref] 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...