Re: [bug] gzipped file edits?
Let me try that agian... There was a whole paragraph somehow
embedded in the mail headers, rather than in the body of the email.
Here it is:
I just tried to edit the `libc.info-1.gz' file, since there where
several menu entries that abutted their descriptions, causing `info'
to not highlight the menu entry. When I saved the file, it garbaged
it. In order to get a valid file, I had to first gunzip it, by hand,
edit that, then gzip it by hand again.