summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/dev-manual/dev-manual.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/dev-manual/dev-manual.xml b/documentation/dev-manual/dev-manual.xml
index 97bcf9a829..f61e39be24 100644
--- a/documentation/dev-manual/dev-manual.xml
+++ b/documentation/dev-manual/dev-manual.xml
@@ -58,10 +58,10 @@
58 58
59 <xi:include href="dev-manual-model.xml"/> 59 <xi:include href="dev-manual-model.xml"/>
60 60
61 <xi:include href="dev-manual-cases.xml"/>
62
63 <xi:include href="dev-manual-bsp-appendix.xml"/> 61 <xi:include href="dev-manual-bsp-appendix.xml"/>
64 62
63 <xi:include href="dev-manual-kernel-appendix.xml"/>
64
65<!-- <index id='index'> 65<!-- <index id='index'>
66 <title>Index</title> 66 <title>Index</title>
67 </index> 67 </index>