diff options
Diffstat (limited to 'documentation/dev-manual/dev-manual.xml')
| -rw-r--r-- | documentation/dev-manual/dev-manual.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/documentation/dev-manual/dev-manual.xml b/documentation/dev-manual/dev-manual.xml index 0cbd85fc3b..a5856e0995 100644 --- a/documentation/dev-manual/dev-manual.xml +++ b/documentation/dev-manual/dev-manual.xml | |||
| @@ -80,8 +80,6 @@ | |||
| 80 | 80 | ||
| 81 | <xi:include href="dev-manual-model.xml"/> | 81 | <xi:include href="dev-manual-model.xml"/> |
| 82 | 82 | ||
| 83 | <xi:include href="dev-manual-bsp-appendix.xml"/> | ||
| 84 | |||
| 85 | <xi:include href="dev-manual-kernel-appendix.xml"/> | 83 | <xi:include href="dev-manual-kernel-appendix.xml"/> |
| 86 | 84 | ||
| 87 | </book> | 85 | </book> |