W3C home > Mailing lists > Public > spec-prod@w3.org > October to December 2016

Re: Manual of Style: Change style sheet to 2016 version

From: Philippe Le Hégaret <plh@w3.org>
Date: Wed, 16 Nov 2016 16:21:28 -0500
To: "Michiel Bijl (list)" <michiel.list@moiety.me>, spec-prod <spec-prod@w3.org>
Message-ID: <0bcd5a71-a483-4912-45bb-ed1f1bf1b791@w3.org>


On 11/12/2016 7:28 AM, Michiel Bijl (list) wrote:
> Dear spec-prod,
>
> Could we change the stylesheet for the Manual of Style and related
> documents to the 2016 spec stylesheet? This would make them easier to
> read. They do need some additional bits for stuff like “Publication
> Policies”, but that shouldn’t be too hard to work in.
>
> I looked on GitHub, but it seems the manual pages aren’t on there. Would
> it be possible to place them on there so it’s easier to make changes
> like this (in the form of PRs)?

Michiel,

re moving it to GitHub, definitively yes! Let me check with Coralie if 
she is ok with it but I'd be surprised if she isn't.

Philippe
Received on Wednesday, 16 November 2016 21:21:35 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 16 November 2016 21:21:35 UTC