Lines Matching refs:option
46 char option;
51 option = opt;
59 sb.append(option);
121 sb.append(o.option);
131 if (o.option == c) {
178 out.println("<optional><option>");
179 out.print(o.option);
185 out.println("</option></optional>");
190 out.print("<varlistentry><term><option>");
191 out.print(o.option);
192 out.print("</option></term><listitem><para>");