| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| dvips.info | GNU Info File | 2KB | 1996-10-12 | |
| dvips.info-1 | GNU Info File | 47KB | 1996-10-12 | |
| dvips.info-2 | GNU Info File | 49KB | 1996-10-12 | |
| dvips.info-3 | GNU Info File | 29KB | 1996-10-12 | |
| kpathsea.info | GNU Info File | 3KB | 1996-10-12 | |
| kpathsea.info-1 | GNU Info File | 51KB | 1996-10-12 | |
| kpathsea.info-2 | GNU Info File | 46KB | 1996-10-12 | |
| kpathsea.info-3 | GNU Info File | 20KB | 1996-10-12 |