drwxr-xr-x   2 edrx edrx   4096 Jun  6 02:01 ./
drwxr-xr-x 200 edrx edrx  28672 Jun  6 02:02 ../
-rw-r--r--   1 edrx edrx  40319 Apr 14  2014 eev-2005.texi
-rw-r--r--   1 edrx edrx  44659 Jun  6 02:01 eev-2005.texi.html
-rw-r--r--   1 edrx edrx  14745 Apr 14  2014 eev-2006.texi
-rw-r--r--   1 edrx edrx  17837 Jun  6 02:01 eev-2006.texi.html
-rw-r--r--   1 edrx edrx  87967 Apr 14  2014 eev.texi
-rw-r--r--   1 edrx edrx 104186 Jun  6 02:01 eev.texi.html
-rw-r--r--   1 edrx edrx  90450 Apr 14  2014 eev.texi.lua
-rw-r--r--   1 edrx edrx 126155 Jun  6 02:01 eev.texi.lua.html