diff src/s/usg5-4.h @ 2561:1bd4cf98df68

(Info-find-node, Info-insert-subfile): Do the right thing if info files have been compressed or gzipped. This is saving me lots of disk space.
author Eric S. Raymond <esr@snark.thyrsus.com>
date Fri, 23 Apr 1993 02:20:55 +0000
parents c84b2198f633
children 0ad031daebff
line wrap: on
line diff