File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
tests/ | - | 2024-Jan-09 12:45 |
makeinfo.bat | 29 B | 2023-Aug-15 17:50 |
pod2texi.bat | 29 B | 2023-Aug-15 17:50 |
texi2any.bat | 29 B | 2023-Aug-15 17:50 |
texinfo-cat.in | 76 B | 2023-Aug-15 17:50 |
detexinfo | 722 B | 2023-Aug-15 17:50 |
README | 1.0 KiB | 2023-Aug-15 17:50 |
pdftexi2dvi | 1.1 KiB | 2023-Oct-18 22:15 |
texi2pdf | 1.1 KiB | 2023-Oct-18 22:05 |
Makefile.am | 2.3 KiB | 2023-Aug-15 17:50 |
texindex.bat | 2.4 KiB | 2023-Aug-15 17:50 |
texi-elements-by-size | 8.4 KiB | 2023-Aug-15 17:50 |
txixml2texi.pl | 20.4 KiB | 2023-Aug-15 17:50 |
htmlxref.cnf | 24.0 KiB | 2023-Aug-15 17:50 |
dir-example | 36.3 KiB | 2023-Aug-15 17:50 |
texinfo.dtd | 53.0 KiB | 2023-Aug-15 17:50 |
texi2dvi | 55.6 KiB | 2023-Oct-18 22:05 |
Makefile.in | 90.6 KiB | 2023-Oct-18 22:06 |