doc: use gnu-web-doc-update module
[debian/gzip] / doc /
drwxr-xr-x   ..
-rw-r--r-- 59 .gitignore
-rw-r--r-- 894 Makefile.am
-rw-r--r-- 18903 gzip.texi