drwxr-xr-x 2 edrx edrx 4096 Apr 18 10:34 ./ drwxr-xr-x 11 edrx edrx 12288 Apr 18 10:34 ../ -rw-r--r-- 1 edrx edrx 409 Feb 21 2020 README -rw-r--r-- 1 edrx edrx 902 Apr 18 10:34 README.html -rw-r--r-- 1 edrx edrx 392 Feb 21 2020 tmp-pst.tex -rw-r--r-- 1 edrx edrx 895 Apr 18 10:34 tmp-pst.tex.html -rw-r--r-- 1 edrx edrx 481 Feb 21 2020 tmp.c -rw-r--r-- 1 edrx edrx 1278 Apr 18 10:34 tmp.c.html -rw-r--r-- 1 edrx edrx 635 Feb 21 2020 tmp.mp -rw-r--r-- 1 edrx edrx 1200 Apr 18 10:34 tmp.mp.html -rw-r--r-- 1 edrx edrx 486 Feb 21 2020 tmp.tex -rw-r--r-- 1 edrx edrx 981 Apr 18 10:34 tmp.tex.html