diff options
-rw-r--r-- | documentation/dev-manual/dev-manual.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/dev-manual/dev-manual.xml b/documentation/dev-manual/dev-manual.xml index 97bcf9a..f61e39b 100644 --- a/documentation/dev-manual/dev-manual.xml +++ b/documentation/dev-manual/dev-manual.xml @@ -58,10 +58,10 @@ <xi:include href="dev-manual-model.xml"/> - <xi:include href="dev-manual-cases.xml"/> - <xi:include href="dev-manual-bsp-appendix.xml"/> + <xi:include href="dev-manual-kernel-appendix.xml"/> + <!-- <index id='index'> <title>Index</title> </index> |