<<< Date Index >>>     <<< Thread Index >>>

Re: Manual filenames



On Friday, 02 September 2005 at 14:06, Vincent Lefevre wrote:
> The filenames corresponding to the manual are still
> manual.sgml.head and manual.sgml.tail. Shouldn't they
> now be manual.xml.head and manual.xml.tail?

I guess so. I just get reluctant to rename things in CVS since it
loses the history. But since the files aren't very diffable any more
anyway, I've just done it.

Attachment: pgpNavVJJ2dhR.pgp
Description: PGP signature