Skip to content

add target html and gallinahtml

Benoit Viguierrequested to merge
benoit/coq-stdpp:make_html into master

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

Merge request reports