(ex-unix-type-shell): Fix customize type.
tree4380ffefd8fc7742b21739dd65c29a3d5f571cb2
-rw-r--r-- 4558 GETTING.GNU.SOFTWARE
-rw-r--r-- 29602 INSTALL
-rw-r--r-- 20795 Makefile.in
-rw-r--r-- 30940 PROBLEMS
-rwxr-xr-x 4762 build-ins.in
-rw-r--r-- 7590 config.bat
-rwxr-xr-x 24280 config.guess
-rwxr-xr-x 19802 config.sub
-rw-r--r-- 51485 configure.in
-rwxr-xr-x 50350 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - leim
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
drwxr-xr-x - lwlib
-rwxr-xr-x 18098 make-dist
drwxr-xr-x - man
drwxr-xr-x - msdos
drwxr-xr-x - nt
drwxr-xr-x - src
-rw-r--r-- 7525 tparam.c
-rw-r--r-- 219 vpath.sed