Searched refs:manhtml_url (Results 1 – 1 of 1) sorted by relevance
3244 manhtml_url="$(print raw_files/new/$P.man.html | url_encode)"3245 print "<a href=\"$manhtml_url\">HTML</a>"