drwxr-xr-x   2 edrx edrx   4096 Sep 27 11:16 ./
drwxr-xr-x 193 edrx edrx  28672 Sep 27 11:16 ../
-rw-r--r--   1 edrx edrx  40319 Apr 14  2014 eev-2005.texi
-rw-r--r--   1 edrx edrx  44659 Sep 27 11:16 eev-2005.texi.html
-rw-r--r--   1 edrx edrx  14745 Apr 14  2014 eev-2006.texi
-rw-r--r--   1 edrx edrx  17837 Sep 27 11:16 eev-2006.texi.html
-rw-r--r--   1 edrx edrx  87967 Apr 14  2014 eev.texi
-rw-r--r--   1 edrx edrx 104186 Sep 27 11:16 eev.texi.html
-rw-r--r--   1 edrx edrx  90450 Apr 14  2014 eev.texi.lua
-rw-r--r--   1 edrx edrx 126155 Sep 27 11:16 eev.texi.lua.html