diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-16 22:07:39 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-16 22:07:39 +0000 |
| commit | b47da5ea21df9ba558f05516198d401f76719cf5 (patch) | |
| tree | aac68e90efd57e75b4adefe4f414420ec879ffc7 /doc/manual/manual.xml | |
| parent | bddc83a1487e9f3c1bb3ac2279c0238e8e6c3ff3 (diff) | |
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 d8fd5ddb2..35b4417f1 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> |