diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-31T15·24+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-31T15·24+0200 |
| commit | e3731a1a1fd3959b3b9b812dfea5ff59dd84216d (patch) | |
| tree | a1727a416d8ed628d6f7338e78e6c1cce8959d3e /doc/manual/glossary/glossary.xml | |
| parent | c0c31b58a43dc46c5f2a4f7f1880387db449711b (diff) | |
| parent | 149d10c308090dafa852542419010b0caf4412a5 (diff) | |
Merge pull request #2387 from graham-at-target/add-ids-to-important-sections
docs: Add IDs to important sections
Diffstat (limited to 'doc/manual/glossary/glossary.xml')
| -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> |