drwxr-xr-x   2 edrx edrx   4096 Apr  9 18:22 ./
drwxr-xr-x 315 edrx edrx  45056 Apr  9 18:23 ../
-rw-r--r--   1 edrx edrx  40319 Feb 21  2020 eev-2005.texi
-rw-r--r--   1 edrx edrx  44857 Apr  9 18:22 eev-2005.texi.html
-rw-r--r--   1 edrx edrx  14745 Feb 21  2020 eev-2006.texi
-rw-r--r--   1 edrx edrx  18883 Apr  9 18:22 eev-2006.texi.html
-rw-r--r--   1 edrx edrx  87967 Feb 21  2020 eev.texi
-rw-r--r--   1 edrx edrx 104389 Apr  9 18:22 eev.texi.html
-rw-r--r--   1 edrx edrx  90450 Feb 21  2020 eev.texi.lua
-rw-r--r--   1 edrx edrx 125711 Apr  9 18:22 eev.texi.lua.html
-rw-r--r--   1 edrx edrx   1257 Jun 11  2022 shortsample.texi
-rw-r--r--   1 edrx edrx   2501 Apr  9 18:22 shortsample.texi.html