drwxr-xr-x   2 edrx edrx   4096 Dec 20 21:29 ./
drwxr-xr-x 301 edrx edrx  36864 Dec 20 21:30 ../
-rw-r--r--   1 edrx edrx  40319 Feb 21  2020 eev-2005.texi
-rw-r--r--   1 edrx edrx  44857 Dec 20 21:29 eev-2005.texi.html
-rw-r--r--   1 edrx edrx  14745 Feb 21  2020 eev-2006.texi
-rw-r--r--   1 edrx edrx  18883 Dec 20 21:29 eev-2006.texi.html
-rw-r--r--   1 edrx edrx  87967 Feb 21  2020 eev.texi
-rw-r--r--   1 edrx edrx 104389 Dec 20 21:29 eev.texi.html
-rw-r--r--   1 edrx edrx  90450 Feb 21  2020 eev.texi.lua
-rw-r--r--   1 edrx edrx 125711 Dec 20 21:29 eev.texi.lua.html
-rw-r--r--   1 edrx edrx   1257 Jun 11  2022 shortsample.texi
-rw-r--r--   1 edrx edrx   2501 Dec 20 21:29 shortsample.texi.html