diff --git a/doc/eldomain b/doc/eldomain
deleted file mode 160000
index 523f8d5..0000000
--- a/doc/eldomain
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 523f8d52b41cba43f21b43718123947eea438f77