[fcuny]

When bootc is built from source and its make install tree is copied into a minimized image, the man pages end up in an image that excludes documentation everywhere else: Fedora container images set tsflags=nodocs for dnf, Ubuntu minimized images exclude /usr/share/man for dpkg. A distro package goes through that filter, a source build doesn't, so the Makefile is where that choice has to be made.

Setting DISABLE_DOCS=1 skips generating and installing the man pages:

make install DISABLE_DOCS=1 DESTDIR=...

This also skips the extra docgen-featured build of bootc, and the dependency on go-md2man. The name and check follow skopeo's Makefile, which has the same switch. The default is unchanged, so bootc.spec and distro packaging aren't affected. Files under /usr/share/doc/bootc are still installed: they're base image configuration, not documentation.

While there, this adds the missing section 7 to the man page directories listed in the packaging docs.

Moving the man pages to a separate install target was considered and discarded: the man pages have to be built before the binary, so that the production build overwrites the docgen one in target/release (see e747216).

Testing

In a Fedora 44 (aarch64) VM with GNU Make 4.4.1, from a clean target/:

• make install DISABLE_DOCS=1 DESTDIR=... with go-md2man uninstalled: succeeds, no target/man is created, 27 files installed.
• make install DESTDIR=... with go-md2man reinstalled: 102 files installed. The difference is exactly the 75 man pages under share/man/man{5,7,8}.
• The installed bootc binaries are byte-identical between the two, so the production build still ends up last in target/release when the man pages are built.

Assisted-by: AI. I reviewed the change and the commit message, and ran the test above.