Allow access to gzipped man files
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 15 Mar 2016 14:15:29 +0000 (15:15 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 29 Mar 2016 14:51:33 +0000 (16:51 +0200)
commitb30c8555a01a10761ef8d5030223bdd6a1a408c9
tree811b7703a18da2cb81c2fcaa86a44c6d6ed48807
parent5f43600abc12449a5af5d7d8a4f12cdd88a40c99
Allow access to gzipped man files

For *.gz man files we run gunzip to buffer the unzipped version in
memory. For engines this buffer is not saved, because the engine might
change. (A bit course...)
dialogs.c