Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
tests/ 2024-09-10 02:45 -
![[ ]](/icons/unknown.gif){kind=icon}
makeinfo.bat 2023-08-15 08:50 29
pod2texi.bat 2023-08-15 08:50 29
texi2any.bat 2023-08-15 08:50 29
![[TXT]](/icons/text.gif){kind=icon}
texinfo-cat.in 2023-08-15 08:50 76
detexinfo 2023-10-23 17:20 722
texindex.bat 2023-10-23 17:20 2.4K
htmlxref.cnf 2024-08-31 19:01 24K
Makefile.am 2024-09-07 17:18 2.3K
![[ ]](/icons/hand.right.gif){kind=icon}
README 2024-09-07 17:18 1.0K
dir-example 2024-09-07 17:18 36K
texi-elements-by-size 2024-09-07 17:18 8.4K
texinfo.dtd 2024-09-07 17:18 53K
![[ ]](/icons/p.gif){kind=icon}
txixml2texi.pl 2024-09-07 17:18 20K
texi2dvi 2024-09-07 17:32 56K
texi2pdf 2024-09-07 17:32 1.1K
Makefile.in 2024-09-07 17:33 100K
pdftexi2dvi 2024-09-07 17:40 1.1K