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