Re: Wrapper docs update

[Ricardo Lafuente]

Just redeployed. While Michael sorts this out, feel free to ping us to 
redeploy the site, it's a single command from our side.

On 10/27/21 1:48 PM, Libor Polčák wrote:
> Thanks Ricardo.
>
> I updated the names and pushed to master. I also tweaked a bit WebXR 
> header.
>
> Regarding the workflow, we still aim on automatic updates to the web 
> site. But AFAIK this is on FSF.
>
> Best
>
> Libor
>
> > Good morning,
> >
> > We've just pushed the updated site.
> >
> > To define human names for the wrappers, you should edit the 
> > website/extract_comments.py file. In line 9 you'll find the 
> > correspondence between the wrapper "slugs" and human titles, just add 
> > the new ones there. We're also making a note to add this to the 
> > website docs.
> >
> > Feel free to ping us for any other website question, or suggestions 
> > to improve the workflows!
> >
> > On 10/26/21 4:08 PM, Libor Polčák wrote:
> > > Hello,
> > >
> > > I updated docs of old wrappers. How can we regenerate the website?
> > >
> > > How can I rename Key protection labels like np and PT2?
> > >
> > > Thanks
> > >
> > > Libor