command line options, take 2
treefd8383fd750feac6b0f910e8ad91f04336cf6f61
-rw-r--r-- 0 ChangeLog.txt
-rw-r--r-- 105 Emakefile
-rw-r--r-- 2569 Makefile
-rw-r--r-- 0 NEWS.txt
-rw-r--r-- 2754 README.txt
-rwxr-xr-x 2890 build.sh
drwxr-xr-x - build
drwxr-xr-x - dist
drwxr-xr-x - src