summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authoroctachron <octa@polychoron.fr>2021-02-02 17:35:28 +0100
committeroctachron <octa@polychoron.fr>2021-02-03 13:17:52 +0100
commit4fe88c6a6b8028901607c635df8af4816f9da763 (patch)
tree91b449a3cf9ede7d290da7a267e4c437643c6032 /.gitignore
parent5e3cc24f0a278f9a50eb3e7500fa8bb8c7448cfa (diff)
downloadocaml-4fe88c6a6b8028901607c635df8af4816f9da763.tar.gz
api_docgen/Makefile: remove setup target
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 8394ab6e46..0b3120277e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -96,8 +96,8 @@ _build
/api_docgen/man
/api_docgen/html
/api_docgen/build
-/api_docgen/html
/api_docgen/latex
+/api_docgen/texi
/api_docgen/Compiler_libs.mld
/ocamldoc/ocamldoc