diff --git a/Documentation/doc/main.txt b/Documentation/doc/main.txt
index eea273976a0..37c4d06a869 100644
--- a/Documentation/doc/main.txt
+++ b/Documentation/doc/main.txt
@@ -62,6 +62,5 @@ see the \ref licenseIssues License page.
 - \subpage introduction
 - \subpage preliminaries
 - \subpage installation
-- \subpage dev_manual
 
 */