1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-07-08 19:23:54 +02:00

docs: Add IDs to important sections

This commit is contained in:
Graham Christensen 2018-08-31 10:06:33 -04:00
parent c0c31b58a4
commit 149d10c308
4 changed files with 5 additions and 3 deletions

View file

@ -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>