Searched refs:mantxt_url (Results 1 – 1 of 1) sorted by relevance
3242 mantxt_url="$(print raw_files/new/$P.man.txt.html | url_encode)"3243 print "<a href=\"$mantxt_url\">TXT</a>"