Hi Jude, Jude DaShiell writes: > If a make is done on debian squeeze with default org-mode install-info > which is debian's version of install-info complains that it's not gnu > info and tells you to use ginstall-info when a make install-info-debian > or make install-info is tried and neither one of those switches for make > upgrades the info documentation. If it tells you that it is GNU info, then you've actually called /usr/bin/install-info and it should — aside from this message — work: what did you set $infodir to? Does this directory exist and have the new info files been copied into it (there may be old files still there, so please check the date)? Anyway, from the man pages it looks like this patch should remove the incompatibility between dpkg install-info and GNU install-info on Debian and not change anything for others.