diff --git a/docs/manual/developer-guide.txt b/docs/manual/developer-guide.txt
index 43272f5676..8125ad5ca3 100644
--- a/docs/manual/developer-guide.txt
+++ b/docs/manual/developer-guide.txt
@@ -11,5 +11,3 @@ include::adding-packages.txt[]
 include::patch-policy.txt[]
 
 include::download-infra.txt[]
-
-include::board-support.txt[]