diff options
Diffstat (limited to 'doc/manual/nix-pull.xml')
| -rw-r--r-- | doc/manual/nix-pull.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/nix-pull.xml b/doc/manual/nix-pull.xml index 37ca88fcce..8e4a505e1d 100644 --- a/doc/manual/nix-pull.xml +++ b/doc/manual/nix-pull.xml @@ -1,6 +1,7 @@ <refentry xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" - xmlns:xi="http://www.w3.org/2001/XInclude"> + xmlns:xi="http://www.w3.org/2001/XInclude" + xml:id="sec-nix-pull"> <refmeta> <refentrytitle>nix-pull</refentrytitle> |