docs: Fix generated website.

This commit is contained in:
Martin Wentzel 2022-12-22 14:36:24 +01:00
parent 769e8620df
commit e54559b7e0