Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 4219 | logplain |
-rw-r--r-- | deblank.awk | 482 | logplain |
-rw-r--r-- | makeindex.dvi | 21840 | logplain |
-rw-r--r-- | makeindex.hlp | 34068 | logplain |
-rw-r--r-- | makeindex.info | 62392 | logplain |
-rw-r--r-- | makeindex.l | 28873 | logplain |
-rw-r--r-- | makeindex.l.orig | 28082 | logplain |
-rw-r--r-- | makeindex.pdf | 82528 | logplain |
-rw-r--r-- | makeindex.ps | 66621 | logplain |
-rw-r--r-- | makeindex.tex | 17320 | logplain |
-rw-r--r-- | makeindex.vms | 29323 | logplain |
-rw-r--r-- | manpages.dvi | 39164 | logplain |