[BUG] Failed to make install-info
From: Jon Loeliger <hidden>
Date: 2016-06-15 22:43:58
Guys,
I managed to fail to install info files during:
/usr/src/git# make prefix=/usr install-info
The /usr/share/info/dir file is readable. But it
looks like our build isn't supplying a description
that is needed by install-info? Is my info really
old or something?
This is:
1693 % pwd
/usr/src/git
1694 % git describe
v1.5.4-rc0
1695 % git rev-parse HEAD
1e8df762b38e01685f3aa3613e2d61f73346fcbe
and:
1698 % install-info --version
Debian install-info version 1.14.5.
Thanks,
jdl
make -C Documentation install-info
make[1]: Entering directory `/usr/src/git/Documentation'
rm -f doc.dep+ doc.dep
/usr/bin/perl ./build-docdep.perl >doc.dep+
mv doc.dep+ doc.dep
make -C ../ GIT-VERSION-FILE
make[2]: Entering directory `/usr/src/git'
make[2]: `GIT-VERSION-FILE' is up to date.
make[2]: Leaving directory `/usr/src/git'
make[1]: Leaving directory `/usr/src/git/Documentation'
make[1]: Entering directory `/usr/src/git/Documentation'
make -C ../ GIT-VERSION-FILE
make[2]: Entering directory `/usr/src/git'
make[2]: `GIT-VERSION-FILE' is up to date.
make[2]: Leaving directory `/usr/src/git'
install -d -m 755 /usr/share/info
install -m 644 git.info gitman.info /usr/share/info
if test -r /usr/share/info/dir; then \
install-info --info-dir=/usr/share/info git.info ;\
install-info --info-dir=/usr/share/info gitman.info ;\
else \
echo "No directory found in /usr/share/info" >&2 ; \
fi
No `START-INFO-DIR-ENTRY' and no `This file documents'.
install-info(git.info): unable to determine description for `dir' entry - giving up
No `START-INFO-DIR-ENTRY' and no `This file documents'.
install-info(gitman.info): unable to determine description for `dir' entry - giving up
make[1]: *** [install-info] Error 1
make[1]: Leaving directory `/usr/src/git/Documentation'
make: *** [install-info] Error 2