Searched refs:html_mono_size (Results 1 – 1 of 1) sorted by relevance
310 html_mono_size=`calcsize $PACKAGE.html`335 html_mono_size=`calcsize $PACKAGE.html`406 -e "s!%%HTML_MONO_SIZE%%!$html_mono_size!g" \