Dear bash maintainer,

bash fails to build when the <nodoc> profile is active:

     /bin/bash: line 1: cd: debian/bash-doc/usr/share/doc/bash/examples:
     No such file or directory

Additionally, bash still Build-Depends on texinfo, ghostscript and other
utils related to the creation of documentation files (info and man
pages, bashref) even when the <nodoc> profile is active.

You can find a series of commits that fix these issues and enable full
support for the <nodoc> profile at:

https://salsa.debian.org/gioele/bash/-/compare/debian%2Fsid...nodoc

diffoscope shows that these changes have no impact at all on the
generated binary packages when <nodoc> is not active.

Regards,