../ LICENSE 02-Jan-2025 19:33 102 Makefile 02-Jan-2025 19:33 3808 README 02-Jan-2025 19:33 831 dash.sty 02-Jan-2025 19:33 396 latex-doc-ptr.css 02-Jan-2025 19:33 7665 latex-doc-ptr.html 02-Jan-2025 19:33 41196 latex-doc-ptr.pdf 02-Jan-2025 19:33 179459 latex-doc-ptr.sty 02-Jan-2025 19:33 8890 latex-doc-ptr.tex 02-Jan-2025 19:33 15170 massage_html.awk 02-Jan-2025 19:33 634