diff options
| author | Frédéric Bour <frederic.bour@lakaban.net> | 2013-05-02 18:23:24 +0200 |
|---|---|---|
| committer | Martin Lambers <marlam@marlam.de> | 2013-05-02 18:23:24 +0200 |
| commit | 7e6aa5345745916cfacb068dbe29d59d4dc1e95b (patch) | |
| tree | 27dcb0b4194b3bc53b5f3aaf79eb50c646e2854b | |
| parent | 9448001a051c402dc206d2ada29b9d89d92fdb39 (diff) | |
| download | bino-7e6aa5345745916cfacb068dbe29d59d4dc1e95b.tar.gz | |
Fix manual for texinfo >= 5.0.
| -rw-r--r-- | doc/bino.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/bino.texi b/doc/bino.texi index fb5005e..ccfd46d 100644 --- a/doc/bino.texi +++ b/doc/bino.texi @@ -110,7 +110,7 @@ Print version. @itemx --no-gui Do not use the GUI, just play the given input in a plain window using the parameters given on the command line. -@itemx --log-file=@var{FILE} +@item --log-file=@var{FILE} Append all log messages to the given file. @item -L @itemx --log-level=@var{LEVEL} |
