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 eff0dce1f0..9f4bb0446b 100644 --- a/documentation/dev-manual/dev-manual.xml +++ b/documentation/dev-manual/dev-manual.xml | |||
| @@ -76,10 +76,10 @@ | |||
| 76 | 76 | ||
| 77 | <xi:include href="dev-manual-newbie.xml"/> | 77 | <xi:include href="dev-manual-newbie.xml"/> |
| 78 | 78 | ||
| 79 | <xi:include href="dev-manual-common-tasks.xml"/> | ||
| 80 | |||
| 81 | <xi:include href="dev-manual-model.xml"/> | 79 | <xi:include href="dev-manual-model.xml"/> |
| 82 | 80 | ||
| 81 | <xi:include href="dev-manual-common-tasks.xml"/> | ||
| 82 | |||
| 83 | </book> | 83 | </book> |
| 84 | <!-- | 84 | <!-- |
| 85 | vim: expandtab tw=80 ts=4 | 85 | vim: expandtab tw=80 ts=4 |