Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | LICENSE | 102 | logplain |
-rw-r--r-- | Makefile | 3808 | logplain |
-rw-r--r-- | README | 1100 | logplain |
-rw-r--r-- | dash.sty | 396 | logplain |
-rw-r--r-- | latex-doc-ptr.css | 7665 | logplain |
-rw-r--r-- | latex-doc-ptr.css.replacement | 7666 | logplain |
-rw-r--r-- | latex-doc-ptr.html | 38782 | logplain |
-rw-r--r-- | latex-doc-ptr.pdf | 169323 | logplain |
-rw-r--r-- | latex-doc-ptr.sty | 8890 | logplain |
-rw-r--r-- | latex-doc-ptr.tex | 15081 | logplain |
-rw-r--r-- | massage_html.awk | 634 | logplain |