On 10/14/14, Ingo Schwarze <schwa...@usta.de> wrote: > Another instance of conflating different things is that mom-pdf.pdf > is handled by the "examples" targets. I think it should be > controlled by --with-doc=pdf, not by --with-doc=examples.
Might this be the origin of the packaging problem in Gentoo where the "examples" use flag must be set in order for mom-pdf.pdf (which, as you point out, is a manual, not examples) to be installed? I reported this in Gentoo's Bugzilla (https://bugs.gentoo.org/show_bug.cgi?id=516732#c2). As that bug report notes, an additional consideration is that the groff_mom man page contains a pointer to mom-pdf.pdf even when that file isn't installed.
