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