../ LICENSE 18-Sep-2024 19:33 102 Makefile 18-Sep-2024 19:33 3808 README 18-Sep-2024 19:33 1100 dash.sty 18-Sep-2024 19:33 396 latex-doc-ptr.css 18-Sep-2024 19:33 7665 latex-doc-ptr.css.replacement 18-Sep-2024 19:33 7666 latex-doc-ptr.html 18-Sep-2024 19:33 38782 latex-doc-ptr.pdf 18-Sep-2024 19:33 169323 latex-doc-ptr.sty 18-Sep-2024 19:33 8890 latex-doc-ptr.tex 18-Sep-2024 19:33 15081 massage_html.awk 18-Sep-2024 19:33 634