diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-05T23·01+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-05T23·01+0000 |
| commit | eff573f5638e8eefd682d0a8860728fe53791f22 (patch) | |
| tree | db3805907d45a08c143b8028f2b13cccaaee87cf | |
| parent | 9e08f5efe105fb1314e3bb052a819696ed2adee1 (diff) | |
* Work around a weird bug in the manpage generation.
| -rw-r--r-- | doc/manual/nix-store.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/manual/nix-store.xml b/doc/manual/nix-store.xml index 95d0b03d4335..8875b0f69c44 100644 --- a/doc/manual/nix-store.xml +++ b/doc/manual/nix-store.xml @@ -109,8 +109,7 @@ lrwxrwxrwx 1 ... 2005-03-13 21:10 /home/eelco/bla/result -> /nix/store/1r1134 <!--######################################################################--> -<refsection xml:id='rsec-nix-store-realise'><title>Operation -<option>--realise</option></title> +<refsection xml:id='rsec-nix-store-realise'><title>Operation <option>--realise</option></title> <refsection><title>Synopsis</title> |