diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-19T15·20+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-19T15·20+0000 |
| commit | 7509d70f9ddec7d28911e6b6f2145bc50a923e9f (patch) | |
| tree | 03671a5622b11542361c68e5a6ffa02e0467e3c5 /doc/manual/manual.xml | |
| parent | 2369b122d19c7a08fc6e38e5a8aab90636ed4132 (diff) | |
* Documented some of the sharing mechanisms.
Diffstat (limited to 'doc/manual/manual.xml')
| -rw-r--r-- | doc/manual/manual.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index 22e9f6afd84d..e1dd5d48540b 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -28,7 +28,7 @@ <holder>Eelco Dolstra</holder> </copyright> - <date>June 2008</date> + <date>November 2008</date> </info> @@ -101,6 +101,10 @@ <title>nix-push</title> <xi:include href="nix-push.xml" /> </section> + <section xml:id="sec-nix-worker"> + <title>nix-worker</title> + <xi:include href="nix-worker.xml" /> + </section> </section> </appendix> |