drwxr-xr-x 2 edrx edrx 4096 Aug 26 14:05 ./ drwxr-xr-x 11 edrx edrx 12288 Aug 26 14:06 ../ -rw-r--r-- 1 edrx edrx 409 Feb 21 2020 README -rw-r--r-- 1 edrx edrx 902 Aug 26 14:05 README.html -rw-r--r-- 1 edrx edrx 392 Feb 21 2020 tmp-pst.tex -rw-r--r-- 1 edrx edrx 895 Aug 26 14:05 tmp-pst.tex.html -rw-r--r-- 1 edrx edrx 481 Feb 21 2020 tmp.c -rw-r--r-- 1 edrx edrx 1278 Aug 26 14:05 tmp.c.html -rw-r--r-- 1 edrx edrx 635 Feb 21 2020 tmp.mp -rw-r--r-- 1 edrx edrx 1200 Aug 26 14:05 tmp.mp.html -rw-r--r-- 1 edrx edrx 486 Feb 21 2020 tmp.tex -rw-r--r-- 1 edrx edrx 981 Aug 26 14:05 tmp.tex.html