diff options
| author | Graham Christensen <graham.christensen@target.com> | 2018-08-31T14·06-0400 |
|---|---|---|
| committer | Graham Christensen <graham.christensen@target.com> | 2018-08-31T14·06-0400 |
| commit | 149d10c308090dafa852542419010b0caf4412a5 (patch) | |
| tree | a1727a416d8ed628d6f7338e78e6c1cce8959d3e /doc/manual/glossary | |
| parent | c0c31b58a43dc46c5f2a4f7f1880387db449711b (diff) | |
docs: Add IDs to important sections
Diffstat (limited to 'doc/manual/glossary')
| -rw-r--r-- | doc/manual/glossary/glossary.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/glossary/glossary.xml b/doc/manual/glossary/glossary.xml index 4977825578f1..e3162ed8d469 100644 --- a/doc/manual/glossary/glossary.xml +++ b/doc/manual/glossary/glossary.xml @@ -1,5 +1,6 @@ <appendix xmlns="http://docbook.org/ns/docbook" - xmlns:xlink="http://www.w3.org/1999/xlink"> + xmlns:xlink="http://www.w3.org/1999/xlink" + xml:id="part-glossary"> <title>Glossary</title> |