Skip to content
GitLab

add target html and gallinahtml

Merged Benoit Viguier requested to merge benoit/coq-stdpp:make_html into master

also add html folder to .gitignore so generated doc is not added to the repo