use DOCSDIR compress documentation with gzip. PR: 97417 Submitted by: Pedro F. Giffuni <gifufnip@asme.org>