From 149d10c308090dafa852542419010b0caf4412a5 Mon Sep 17 00:00:00 2001 From: Graham Christensen Date: Fri, 31 Aug 2018 10:06:33 -0400 Subject: docs: Add IDs to important sections --- doc/manual/glossary/glossary.xml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'doc/manual/glossary') diff --git a/doc/manual/glossary/glossary.xml b/doc/manual/glossary/glossary.xml index 497782557..e3162ed8d 100644 --- a/doc/manual/glossary/glossary.xml +++ b/doc/manual/glossary/glossary.xml @@ -1,5 +1,6 @@ + xmlns:xlink="http://www.w3.org/1999/xlink" + xml:id="part-glossary"> Glossary -- cgit v1.2.3