[sr-dev] git:andrei/cdefs2doc: doc: dump_selects.pl: support for docbook output