Makefile: remove the options target
tree414c7d980ef7718e45f6c307ec2d4a48253df217
-rw-r--r-- 9923 FAQ
-rw-r--r-- 732 LEGACY
-rw-r--r-- 1834 LICENSE
-rw-r--r-- 1123 Makefile
-rw-r--r-- 723 README
-rw-r--r-- 458 TODO
-rw-r--r-- 1036 arg.h
-rw-r--r-- 20850 config.def.h
-rw-r--r-- 892 config.mk
-rw-r--r-- 3581 st.1
-rw-r--r-- 57457 st.c
-rw-r--r-- 2923 st.h
-rw-r--r-- 4070 st.info
-rw-r--r-- 1163 win.h
-rw-r--r-- 48167 x.c