Re: Wrapper docs update

[Ricardo Lafuente]

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