[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Wrapper docs update

From: Ricardo Lafuente
Subject: Re: Wrapper docs update
Date: Wed, 27 Oct 2021 17:27:21 +0100

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.



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:

I updated docs of old wrappers. How can we regenerate the website?

How can I rename Key protection labels like np and PT2?



reply via email to

[Prev in Thread] Current Thread [Next in Thread]