On Tue, Jan 3, 2017 at 2:04 PM, Joseph Myers <jos...@codesourcery.com> wrote: > On Tue, 3 Jan 2017, Janne Blomqvist wrote: > >> (I added <!DOCTYPE html> and <meta charset="UTF-8"> tags to the >> porting_to.html file, which is apparently what is recommended these >> days; I didn't add this to any existing file) > > DOCTYPE etc. are added automatically via style.mhtml. They do not belong > in any individual checked-in .html files.
Oh, right, so it seems. Well, scratch that part of the patch then, obviously. -- Janne Blomqvist