* make-dist: Don't run "make --question info". (Bug#52322)

This commit is contained in:
Stefan Kangas 2021-12-14 03:08:37 +01:00
parent cea8deea72
commit 9de8eec3bc

View file

@ -299,13 +299,6 @@ if [ $check = yes ]; then
echo "${bogosities}"
fi
## This exits with non-zero status if any .info files need
## rebuilding.
if [ -r Makefile ] && [ "$with_info" = "yes" ]; then
echo "Checking to see if info files are up-to-date..."
make --question info || error=yes
fi
## Is this a release?
case $version in
[1-9][0-9].[0-9])