DO NOT EDIT-- this file is generated by tools/build/options/makeman.