Thread:Project:Support desk/Exporting a wiki for offline use/reply (7)

To clarify, I am looking for means to export to one of these formats, or an equivalent: The viewer should have a search box. (As a last resort, this could be a file manager search box to find a file with an appropriate name by hand.)
 * chm
 * texinfo
 * html (local, without running a wiki instance)
 * xml
 * docbook
 * pdf
 * man pages