The manual page contains a few (technical) errors. This patch fixes them.
Logged In: YES user_id=1353907
Lots of thanks. The next version will contain the patched manpage.
PS: You are the maintainer of the debian package, aren't you?
Logged In: YES user_id=42389
> You are the maintainer of the debian package, aren't you?
I am indeed. :-) In fact, it was lintian (the debian package checking tool) which told me about the problems with the manpage. :-)
An other thing which was wrong for Debian (but I'm not sure if that's Debian-specific) was that it was installed in /usr/bin instead of /usr/games.
Log in to post a comment.
Logged In: YES
user_id=1353907
Lots of thanks. The next version will contain the patched
manpage.
PS: You are the maintainer of the debian package, aren't you?
Logged In: YES
user_id=42389
> You are the maintainer of the debian package, aren't
you?
I am indeed. :-) In fact, it was lintian (the debian
package checking tool) which told me about the problems with
the manpage. :-)
An other thing which was wrong for Debian (but I'm not sure
if that's Debian-specific) was that it was installed in
/usr/bin instead of /usr/games.