252       const path & source_path, bool no_link_errors, bool allow_external_content,  in do_url()  argument
254         // precondition: source_path.is_complete()  in do_url()
259         error( library_name, source_path, "Empty URL.", ln );  in do_url()
264       string decoded_url = is_css(source_path) ? url : decode_ampersands(url);  in do_url()
269           error( library_name, source_path,  in do_url()
280           error( library_name, source_path, "Invalid URL: " + decoded_url, ln );  in do_url()
301           error( library_name, source_path, "External content: " + decoded_url, ln );  in do_url()
315               error( library_name, source_path, "No hostname: " + decoded_url, ln );  in do_url()
325             error( library_name, source_path,  in do_url()
330           if ( !no_link_errors && is_css(source_path) ) {  in do_url()
333             error( library_name, source_path,  in do_url()
341 …error( library_name, source_path, "Unknown protocol: '" + scheme + "' in url: " + decoded_url, ln …  in do_url()
353           error( library_name, source_path,  in do_url()
360         if ( is_css(source_path) ) {  in do_url()
364               error( library_name, source_path,  in do_url()
373             error( library_name, source_path, "Invalid bookmark: " + decoded_url, ln );  in do_url()
382             error( library_name, source_path, "Unknown bookmark: " + decoded_url, ln );  in do_url()
395         error( library_name, source_path,  in do_url()
404           error( library_name, source_path,  in do_url()
415           error( library_name, source_path,  in do_url()
424       // url is relative source_path.branch()  in do_url()
427       try { target_path = source_path.branch_path() /= path( decoded_path ); }  in do_url()
433           error( library_name, source_path,  in do_url()
457         error( library_name, source_path, "Broken link: " + decoded_url, ln );  in do_url()