Remove auto-generated documentation folder and fix CI issue with openSUSE