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

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

From: Michiel Bijl (list) <michiel.list@moiety.me>
Date: Tue, 22 Nov 2016 00:45:45 +0000
Message-Id: <A17820E8-9256-442A-BE92-45C3FCD8B3C4@moiety.me>
Cc: spec-prod <spec-prod@w3.org>
To: Philippe Le Hégaret <plh@w3.org>
Thank you Phillippe! I’ll make the changes in my fork and create a PR.

Cheers.
—Michiel

> On 21 Nov 2016, at 21:10, Philippe Le Hégaret <plh@w3.org> wrote:
> 
> Hi Michiel,
> 
> 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)?
> 
> I made a copy of what we have in our internal old repo into:
>  https://github.com/w3c/manual-of-style
> 
> Please, feel free to do a PR against it. Once you get to a point that you find satisfying, I'm happy to do the magic on the W3C website to make sure we replace the content we currently have. If things get too complicated, I'm even willing to grant you direct push access in the future.
> 
> Philippe
Received on Tuesday, 22 November 2016 00:46:15 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 22 November 2016 00:46:15 UTC