mv "$PKGDIR"/usr/share/info/autoconf{,-2.13}.info
mv "$PKGDIR"/usr/share/info/standards{,-2.13}.info
