On Thu, Jun 28, 2018 at 06:43:40PM +0200, Pablo Neira Ayuso wrote: > On Thu, Jun 28, 2018 at 06:30:15PM +0200, Florian Westphal wrote: > > Máté Eckl <ecklm94@xxxxxxxxx> wrote: > > > I don't really know autoconfig, but isn't that possible to prioritize the > > > alternatives? For example, use docbook2x-man if available, if it is not, use > > > db2x-docbook2man, if neither of them is present, use docbook2man? And of course > > > fail, if none of them is present. > > > > I think it would be much better to display an error and just continue > > without building documentation. > > We can also fallback and make a second search for the package in > ArchLinux too, right? So we are looking for docbook2x-man or db2x_docbook2man binaries, right? Btw, which of these are present on Debian/fedora? For ArchLinux: In the official repo there is no binary (nor package) like this. docbook2x provides the following binaries: - usr/bin/db2x_manxml - usr/bin/db2x_texixml - usr/bin/db2x_xsltproc - usr/bin/docbook2man - usr/bin/docbook2texi - usr/bin/sgml2xml-isoent - usr/bin/utf8trans docbook-utils provide these: - usr/bin/db2dvi - usr/bin/db2html - usr/bin/db2man - usr/bin/db2pdf - usr/bin/db2ps - usr/bin/db2rtf - usr/bin/db2tex - usr/bin/db2texi - usr/bin/db2txt - usr/bin/docbook2dvi - usr/bin/docbook2html - usr/bin/docbook2man - usr/bin/docbook2pdf - usr/bin/docbook2ps - usr/bin/docbook2rtf - usr/bin/docbook2tex - usr/bin/docbook2texi - usr/bin/docbook2txt - usr/bin/jw - usr/bin/sgmldiff For other packages related to docbook, see [1], but the rest seems irrelevant. There is no *db2* package here. In the Arch User Repository docbook-to-man provides: ./usr/bin ./usr/bin/instant ./usr/bin/docbook-to-man No other packages seem to be relevant. There are some *db2* packages, but they are not related to man generation. [1] https://www.archlinux.org/packages/?sort=&q=docbook [2] https://aur.archlinux.org/packages/?O=0&K=docbook -- To unsubscribe from this list: send the line "unsubscribe netfilter-devel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
