retire obsolete docs directory
tree0d5f5447146a60e433f0f796b1aef3cffc3ac60c
-rw-r--r-- 213 .project
-rw-r--r-- 3302 ChangeLog
drwxr-xr-x - eth_ocm
-rw-r--r-- 121 fixquartus90cygwin.sh
drwxr-xr-x - neek
-rw-r--r-- 2068 nios_env.sh
drwxr-xr-x - packages
-rw-r--r-- 738 readme.txt
drwxr-xr-x - tools