summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrédéric Bour <frederic.bour@lakaban.net>2013-05-02 18:23:24 +0200
committerMartin Lambers <marlam@marlam.de>2013-05-02 18:23:24 +0200
commit7e6aa5345745916cfacb068dbe29d59d4dc1e95b (patch)
tree27dcb0b4194b3bc53b5f3aaf79eb50c646e2854b
parent9448001a051c402dc206d2ada29b9d89d92fdb39 (diff)
downloadbino-7e6aa5345745916cfacb068dbe29d59d4dc1e95b.tar.gz
Fix manual for texinfo >= 5.0.
-rw-r--r--doc/bino.texi2
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}