[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 10:23:49 +0100

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]