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