command line options, take 3
treea2e9698d6aa7a1e9a339e424867f52c3ebc5b3e0
-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