For systems on whch DOCBOOK is unavailable, distribute command line program manual pages in .man format.