diff options
-rw-r--r-- | gambit-c.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gambit-c.install b/gambit-c.install index 84ccb4055e74..304a3ddb54e7 100644 --- a/gambit-c.install +++ b/gambit-c.install @@ -1,5 +1,5 @@ _infodir=/usr/share/info -_iinfoargs="$_infodir/gambit-c.info.gz $_infodir/dir" +_iinfoargs="$_infodir/gambit.info.gz $_infodir/dir" post_install() { install-info $_iinfoargs |