From cb16f994e14073ab5731beeffc05ea114001d8e1 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Oct 2018 21:38:55 +0200
Subject: [doc] [api] Remove `ocamldoc` support in favor of `odoc`

This PR removes support for `ocamldoc` in favor of `odoc`.

Following a recent discussion in OCaml's discord, it turns out that
basically all the ecosystem has migrated to odoc, thus we follow suit
and may focus on `odoc` for Coq's ML API documentation.
---
 .gitignore | 9 ---------
 1 file changed, 9 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 0ab6e25852..39ef20970d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -113,8 +113,6 @@ doc/stdlib/index-list.html
 doc/tutorial/Tutorial.v.out
 doc/RecTutorial/RecTutorial.html
 doc/RecTutorial/RecTutorial.ps
-dev/ocamldoc/*.html
-dev/ocamldoc/*.css
 
 # .mll files
 
@@ -160,13 +158,6 @@ checker/names.mli
 checker/esubst.ml
 checker/esubst.mli
 
-# mlis documentation
-
-dev/ocamldoc/html/
-dev/ocamldoc/coq.*
-dev/ocamldoc/ocamldoc.sty
-dev/myinclude
-
 # emacs save files
 *~
 \#*\#
-- 
cgit v1.2.3