On Wed, 22 Apr 2020 at 21:25, Helge Kreutzmann <debian@xxxxxxxxxxxxx> wrote: > > Hello Michael, > On Mon, Apr 20, 2020 at 08:40:43AM +0200, Michael Kerrisk (man-pages) wrote: > > On 4/19/20 8:48 AM, Helge Kreutzmann wrote: > > > ** > > > > > > initrd(4) > > > > > > msgid "When booting up with B<initrd>, the system boots as follows:" > > > > I don't understand the report. "initrd" is a reference to the > > interface that is subject of the page, and as such, there should > > be no secion number. > > Ok, then leave it as is. Okay. Thanks, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/
