:memo: :wrench: `make html` to make the html documentation#1622

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

proof-ninja:yoshihiro503@make-html-using-rocqnaviproof-ninja/analysis:yoshihiro503@make-html-using-rocqnaviCopy head branch name to clipboard