diff options
Diffstat (limited to 'doc/manual/manual.xml')
| -rw-r--r-- | doc/manual/manual.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index d8fd5ddb210a..35b4417f1045 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -85,7 +85,7 @@ <title>nix-prefetch-url</title> <xi:include href="nix-prefetch-url.xml" /> </section> - <section> + <section xml:id="sec-nix-pull"> <title>nix-pull</title> <xi:include href="nix-pull.xml" /> </section> |