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