Searched refs:html_mono_gz_size (Results 1 – 1 of 1) sorted by relevance
312 html_mono_gz_size=`calcsize "$outdir/$PACKAGE.html.gz"`337 html_mono_gz_size=`calcsize "$outdir/$PACKAGE.html.gz"`407 -e "s!%%HTML_MONO_GZ_SIZE%%!$html_mono_gz_size!g" \