diff options
Diffstat (limited to 'documentation/dev-manual/dev-manual.xml')
| -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 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> |