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 55cacb7941..e7eb70d91b 100644 --- a/documentation/dev-manual/dev-manual.xml +++ b/documentation/dev-manual/dev-manual.xml | |||
@@ -152,8 +152,6 @@ | |||
152 | 152 | ||
153 | <xi:include href="dev-manual-newbie.xml"/> | 153 | <xi:include href="dev-manual-newbie.xml"/> |
154 | 154 | ||
155 | <xi:include href="dev-manual-model.xml"/> | ||
156 | |||
157 | <xi:include href="dev-manual-common-tasks.xml"/> | 155 | <xi:include href="dev-manual-common-tasks.xml"/> |
158 | 156 | ||
159 | <xi:include href="dev-manual-qemu.xml"/> | 157 | <xi:include href="dev-manual-qemu.xml"/> |