../ LICENSE 02-Jul-2022 19:35 102 Makefile 02-Jul-2022 19:35 3808 README 02-Jul-2022 19:35 1100 dash.sty 02-Jul-2022 19:35 396 latex-doc-ptr.css 02-Jul-2022 19:35 7665 latex-doc-ptr.css.replacement 02-Jul-2022 19:35 7666 latex-doc-ptr.html 02-Jul-2022 19:35 38782 latex-doc-ptr.pdf 02-Jul-2022 19:35 169323 latex-doc-ptr.sty 02-Jul-2022 19:35 8890 latex-doc-ptr.tex 02-Jul-2022 19:35 15081 massage_html.awk 02-Jul-2022 19:35 634