diff --git a/.gitignore b/.gitignore index 3d36487e610c3f64f8d76380f34d6c5ea47efb3d..7ddcd24af770517186f66f81677f941f5722f276 100644 --- a/.gitignore +++ b/.gitignore @@ -181,6 +181,10 @@ why3.conf /examples/programs/algo65/ /examples/programs/binary_search_c/ /examples/programs/dijkstra/ +/examples/why3bench.html +/examples/*/*.html +/examples/*/*/*.html +/examples/*/*/*/*.html # modules /modules/string/