diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-16 08:47:34 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-16 08:47:34 +0000 |
| commit | 5c0770ac847e3eb0ed004b75a52e2a94463b550f (patch) | |
| tree | 15fc43941fc560a5356edfa7c203af6616a298af /doc/manual/manual.xml | |
| parent | 1b62c2eba3f735c8e31200446735f53568a12ff3 (diff) | |
* Include the release notes in the manual.
Diffstat (limited to 'doc/manual/manual.xml')
| -rw-r--r-- | doc/manual/manual.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index d6dd437ed..c5a52a9a4 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -80,4 +80,9 @@ <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="bugs.xml" /> <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="glossary.xml" /> + <appendix> + <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="release-notes.xml" + xpointer="xpointer(article/*)" /> + </appendix> + </book> |