diff options
Diffstat (limited to 'doc/manual/nix-push.xml')
| -rw-r--r-- | doc/manual/nix-push.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/nix-push.xml b/doc/manual/nix-push.xml index f439af563d1a..1435c559496f 100644 --- a/doc/manual/nix-push.xml +++ b/doc/manual/nix-push.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-push"> <refmeta> <refentrytitle>nix-push</refentrytitle> |