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