\k{output-info}), Halibut will divide the \c{info} output into many
small files. The extra files will have numeric suffixes on their
names; so, for example, \c{output.info} might be accompanied by
\k{output-info}), Halibut will divide the \c{info} output into many
small files. The extra files will have numeric suffixes on their
names; so, for example, \c{output.info} might be accompanied by