version 1.117, 2022/07/05 14:03:35 |
version 1.118, 2022/07/06 16:02:52 |
|
|
|
|
/* Write section selector. */ |
/* Write section selector. */ |
|
|
puts(" <select name=\"sec\" aria-label=\"manual section\">"); |
puts(" <select name=\"sec\" aria-label=\"Manual section\">"); |
for (i = 0; i < sec_MAX; i++) { |
for (i = 0; i < sec_MAX; i++) { |
printf(" <option value=\"%s\"", sec_numbers[i]); |
printf(" <option value=\"%s\"", sec_numbers[i]); |
if (NULL != req->q.sec && |
if (NULL != req->q.sec && |
|
|
resp_searchform(req, FOCUS_QUERY); |
resp_searchform(req, FOCUS_QUERY); |
printf("</header>\n" |
printf("</header>\n" |
"<main>\n" |
"<main>\n" |
"<p role=\"doc-notice\" aria-label=\"usage\">\n" |
"<p role=\"doc-notice\" aria-label=\"Usage\">\n" |
"This web interface is documented in the\n" |
"This web interface is documented in the\n" |
"<a class=\"Xr\" href=\"/%s%sman.cgi.8\"" |
"<a class=\"Xr\" href=\"/%s%sman.cgi.8\"" |
" aria-label=\"man dot CGI, section 8\">man.cgi(8)</a>\n" |
" aria-label=\"man dot CGI, section 8\">man.cgi(8)</a>\n" |
|
|
resp_searchform(req, FOCUS_QUERY); |
resp_searchform(req, FOCUS_QUERY); |
puts("</header>"); |
puts("</header>"); |
puts("<main>"); |
puts("<main>"); |
puts("<p role=\"doc-notice\" aria-label=\"no result\">"); |
puts("<p role=\"doc-notice\" aria-label=\"No result\">"); |
puts(user_msg); |
puts(user_msg); |
puts("</p>"); |
puts("</p>"); |
puts("</main>"); |
puts("</main>"); |