1 files changed, 0 insertions, 1 deletions
diff --git a/debian/coq-libs.links b/debian/coq-libs.links
deleted file mode 100644
index 9a521ba8..00000000
--- a/debian/coq-libs.links
+++ /dev/null
@@ -1 +0,0 @@
-/usr/share/doc/coq-libs/html /usr/share/doc/coq/stdlib-html