parser.add_argument('--nav-add-title','-nat',action='store_true',default=False,help='add the title as an extra navigation level to the navigation file')
parser.add_argument('--nav-add-title','-nat',action='store_true',default=False,help='add the title as an extra navigation level to the navigation file')
parser.add_argument('--clause-name','-cn',action='store_true',default=False,help='Output filenames as clause title instead of clause number')
parser.add_argument('document',type=str,help='a oneM2M markdown specification document to process')
parser.add_argument('document',type=str,help='a oneM2M markdown specification document to process')