drwxr-xr-x   2 edrx edrx   4096 Apr 18 10:33 ./
drwxr-xr-x 289 edrx edrx  36864 Apr 18 10:34 ../
-rw-r--r--   1 edrx edrx  40319 Feb 21  2020 eev-2005.texi
-rw-r--r--   1 edrx edrx  44855 Apr 18 10:33 eev-2005.texi.html
-rw-r--r--   1 edrx edrx  14745 Feb 21  2020 eev-2006.texi
-rw-r--r--   1 edrx edrx  18879 Apr 18 10:33 eev-2006.texi.html
-rw-r--r--   1 edrx edrx  87967 Feb 21  2020 eev.texi
-rw-r--r--   1 edrx edrx 104261 Apr 18 10:33 eev.texi.html
-rw-r--r--   1 edrx edrx  90450 Feb 21  2020 eev.texi.lua
-rw-r--r--   1 edrx edrx 125583 Apr 18 10:33 eev.texi.lua.html
-rw-r--r--   1 edrx edrx   1257 Jun 11  2022 shortsample.texi
-rw-r--r--   1 edrx edrx   2501 Apr 18 10:33 shortsample.texi.html