Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README | 1358 | logplain |
-rw-r--r-- | booklet.mak | 3226 | logplain |
-rw-r--r-- | bright-colors.css | 4462 | logplain |
-rw-r--r-- | deref.c | 4252 | logplain |
-rwxr-xr-x | fix-info-dir | 8237 | logplain |
-rwxr-xr-x | fixfonts | 2488 | logplain |
-rw-r--r-- | fixref.gawk | 3693 | logplain |
-rwxr-xr-x | gdoc | 25653 | logplain |
-rwxr-xr-x | gen-dir-node | 6476 | logplain |
-rwxr-xr-x | infosrch | 2412 | logplain |
-rw-r--r-- | javaprop2texiflag.pl | 6842 | logplain |
-rw-r--r-- | outline.gawk | 3248 | logplain |
d--------- | perldoc-all | 161 | logplain |
-rw-r--r-- | prepinfo.awk | 8260 | logplain |
-rwxr-xr-x | tex3patch | 1834 | logplain |
-rw-r--r-- | texi-docstring-magic.el | 12308 | logplain |
d--------- | texifont | 688 | logplain |
-rw-r--r-- | txipsfonts-bronger.tex | 213082 | logplain |
-rw-r--r-- | txipsfonts-gildea.diff | 5345 | logplain |