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