diff options
Diffstat (limited to 'extra/gnutls/gnutls.install')
| -rw-r--r-- | extra/gnutls/gnutls.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extra/gnutls/gnutls.install b/extra/gnutls/gnutls.install index 691f3c69d..48052cc02 100644 --- a/extra/gnutls/gnutls.install +++ b/extra/gnutls/gnutls.install @@ -1,5 +1,5 @@ infodir=usr/share/info -filelist=(gnutls.info-1.gz gnutls.info-2.gz gnutls.info-3.gz gnutls.info-4.gz gnutls.info.gz gnutls-guile.info.gz) +filelist=(gnutls.info-1.gz gnutls.info-2.gz gnutls.info-3.gz gnutls.info-4.gz gnutls.info-5.gz gnutls.info.gz gnutls-guile.info.gz) post_install() { [ -x usr/bin/install-info ] || return 0 |