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 /doc | |
parent | 9e08f5efe105fb1314e3bb052a819696ed2adee1 (diff) |
* Work around a weird bug in the manpage generation.
Diffstat (limited to 'doc')
-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> |