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 a5856e0995..eff0dce1f0 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-kernel-appendix.xml"/> | ||
| 84 | |||
| 85 | </book> | 83 | </book> |
| 86 | <!-- | 84 | <!-- |
| 87 | vim: expandtab tw=80 ts=4 | 85 | vim: expandtab tw=80 ts=4 |