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