Home | History | Annotate | Download | only in gdiffmk

Lines Matching refs:OPTION

9 # the Free Software Foundation; either version 2, or (at your option)
51   -B             By default, the deleted texts marked by the \`-D' option end
52                   with an added troff \`.br' command.  This option prevents
54   -M MARK1 MARK2 Change the delimiting marks for the \`-D' option.
57                   one that accepts the \`-Dname' option, such as GNU diff.
153 		Exit 255 "Option \`$1' requires a value."
164 for OPTION
166 	case "${OPTION}" in
168 		ADDMARK=$( RequiresArgument "${OPTION}" $2 )		&&
172 		CHANGEMARK=$( RequiresArgument "${OPTION}" $2 )		&&
176 		DELETEMARK=$( RequiresArgument "${OPTION}" $2 )		&&
183 		MARK1=$( RequiresArgument "${OPTION}" $2 )		&&
187 			Usage "Option \`-M' is missing the MARK2 value."
196 		DIFFCMD=$( RequiresArgument "${OPTION}" $2 )		&&
215 		badoption="${cmd}:  invalid option \`$1'"
226 		"the required \`-Dname' option.
227 Use GNU diff instead.  See the \`-x DIFFCMD' option."