Improve command-line help option
treebdfefe91fec0887c60f5670d7b86558747072e1c
-rw-r--r-- 47 AUTHORS
-rw-r--r-- 35147 COPYING
-rw-r--r-- 459 INSTALL.md
-rw-r--r-- 283 Makefile
-rw-r--r-- 1590 NEWS
-rw-r--r-- 2760 README.md
-rw-r--r-- 1636 configure.mk
drwxr-xr-x - src
drwxr-xr-x - test