diff --git a/.gitignore b/.gitignore index b6bb604bb1c0..8494aded435a 100644 --- a/.gitignore +++ b/.gitignore @@ -125,6 +125,7 @@ _build /ocamldoc/test_stdlib /ocamldoc/test_latex /ocamldoc/test +/ocamldoc/stdlib_man /ocamltest/.dep /ocamltest/ocamltest @@ -240,6 +241,7 @@ _build /tools/ocamlprof /tools/ocamlprof.opt /tools/opnames.ml +/tools/ocamlmklibconfig.ml /tools/dumpobj /tools/dumpobj.opt /tools/dumpapprox