From 72c35b310a7b8a23934a1e9632d4d989c184d0d7 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 16 Apr 2018 18:16:37 +0200
Subject: Remove LaTeX refman, now that migration to Sphinx is complete
---
doc/refman/index.html | 14 --------------
1 file changed, 14 deletions(-)
delete mode 100644 doc/refman/index.html
(limited to 'doc/refman/index.html')
diff --git a/doc/refman/index.html b/doc/refman/index.html
deleted file mode 100644
index b937350e6e..0000000000
--- a/doc/refman/index.html
+++ /dev/null
@@ -1,14 +0,0 @@
-
-
-
-
-The Coq Proof Assistant Reference Manual
-
-
-
-
-
-
--
cgit v1.2.3