Bug#301314: marked as done (autoconf: No adequate documentation)

Your message dated Mon, 29 May 2023 21:26:18 +0200 with message-id <87pm6jgcrp@turtle.gmx.de> and subject line autoconf documentation is back in main has caused the Debian Bug report #301314, regarding autoconf: No adequate documentation to be marked as done. This means that you claim that the

Bug#973959: marked as done (configure: error: unrecognized option: --runstatedir=/run)

Your message dated Mon, 29 May 2023 21:22:39 +0200 with message-id <87v8gbgcxs@turtle.gmx.de> and subject line Re: Bug#973959: configure: error: unrecognized option: --runstatedir=/run has caused the Debian Bug report #973959, regarding configure: error: unrecognized option: --runstatedir=/run

Bug#1036935: autoconf: uses deprecated stage1 build profile

Source: autoconf Version: 2.71-3 This package uses the stage1 build profile, which is deprecated according to https://wiki.debian.org/BuildProfileSpec. It probably ought to use the nodoc profile instead, and also tag the build dependencies accordingly. See #737936 for the reason why the profile