diff --git a/doc/docinfo.html b/doc/docinfo.html index 64bd9fcdd..d6c8dc824 100644 --- a/doc/docinfo.html +++ b/doc/docinfo.html @@ -3,46 +3,226 @@ Copyright (C) 2016-2021 Sébastien Helleu -->