On Fri, Jan 17, 2020 at 05:09:08PM -0600, Andy Goth wrote: > On 2020-01-17 16:47, Andy Goth wrote: > > I spotted a tiny typo in the documentation for bash-5.0.11 > > Oh yes, there's also a file called bash.0 that needs to be kept in sync with > bash.1. It's probably generated by a script to make the release > distribution *.tar.gz files.
It's probably generated by this rule in the doc/Makefile(.in): .1.0: $(RM) $@ -${NROFF} -man $< > $@