diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-01T15·34+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-01T15·34+0000 |
| commit | 4a83c12c5db250ca0946497420d3e5cac1fbcd57 (patch) | |
| tree | 34566869e9023da35927557d45eb02ced23bf83b /doc/manual/manual.xml | |
| parent | 6f788880b692834655c8679ed58e9131ca2fdfa1 (diff) | |
* Added a glossary to the manual.
Diffstat (limited to 'doc/manual/manual.xml')
| -rw-r--r-- | doc/manual/manual.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index 244c4ca23881..9f0e4ae94c50 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -69,5 +69,6 @@ <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="troubleshooting.xml" /> <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" /> </book> |