diff --git a/docs/manuals b/docs/manuals
deleted file mode 160000
index f56a807578..0000000000
--- a/docs/manuals
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit f56a807578d9527ca77a138e19d3cc7c8edcaac1