From 1e4d9eb2d337341690fced3316ff8c81bd8df564 Mon Sep 17 00:00:00 2001
From: Samuel Martin <s.martin49@gmail.com>
Date: Fri, 18 Oct 2013 22:31:29 +0200
Subject: [PATCH] manual: developer-guide.txt: cleanup non-existing source

[Thomas: Added ThomasDS Acked-by, which was given on an earlier
version of the same patch.]

Signed-off-by: Samuel Martin <s.martin49@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Acked-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
---
 docs/manual/developer-guide.txt | 2 --
 1 file changed, 2 deletions(-)

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[]