diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-16T08·47+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-16T08·47+0000 |
| commit | 5c0770ac847e3eb0ed004b75a52e2a94463b550f (patch) | |
| tree | 15fc43941fc560a5356edfa7c203af6616a298af | |
| parent | 1b62c2eba3f735c8e31200446735f53568a12ff3 (diff) | |
* Include the release notes in the manual.
| -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 d6dd437edda4..c5a52a9a483b 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> |