Lines Matching refs:option
46 char option;
51 option = opt;
59 sb.append(option);
122 sb.append(o.option);
132 if (o.option == c) {
179 out.println("<optional><option>");
180 out.print(o.option);
186 out.println("</option></optional>");
191 out.print("<varlistentry><term><option>");
192 out.print(o.option);
193 out.print("</option></term><listitem><para>");