more entries in gitignore (ocaml#62)

stedolan · Nov 11, 2022 · 65f2896 · 65f2896
1 parent a9a84d0
commit 65f2896
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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