summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2019-11-28 17:35:53 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2019-11-28 18:04:53 +0100
commit1c0424c80efe3f7b6a4aa838de6ba78c1d9fa607 (patch)
tree7714a89e76e3e1ed2b1082d059042a4b60914d9e /.gitignore
parent69316099b041089c096816da2685b99c59d10f2e (diff)
downloadocaml-1c0424c80efe3f7b6a4aa838de6ba78c1d9fa607.tar.gz
ocamltest: draft of reference manual (tutorial section)
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 5da73a826e..b9c3eeca2f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -120,6 +120,7 @@ _build
/ocamltest/tsl_lexer.ml
/ocamltest/tsl_parser.ml
/ocamltest/tsl_parser.mli
+/ocamltest/ocamltest.html
/otherlibs/dynlink/extract_crc
/otherlibs/dynlink/dynlink_platform_intf.mli