+printf("Undocumented request options:\n");
+if (is_file($file = dirname(__FILE__)."/../http_request_api.c")) {
+ if (preg_match_all("#(?:http_request_option\(request,\s*options,\s*\")(\w+)(?=\")#", file_get_contents($file), $match)) {
+ foreach ($match[1] as $opt) {
+ re("request-options.xml", "#<term>\s*$opt#") or printf("\t%s\n", $opt);
+ }
+ printf("\n");
+ printf("List of request option entities:\n");
+ foreach ($match[1] as $opt) {
+ printf("\t<!ENTITY link.http.request.option.%1\$s '<link linkend=\"http.request.option.%1\$s\"><literal>%1\$s</literal> request option</link>'>\n", $opt);
+ }
+ }
+} else {
+ printf("\thttp_request_api.c not found\n");
+}
+printf("\n");
+