@ 260802.2

260129.2 · 2a842f759c0493cb18174c346f6ba7c1e1eec190

bin: shrink font size for PDF creation for plain text files

The previous font size was calibrated to lines not exceeding 80 columns. But I needed to print something with lines slightly longer than 80. So just decrease the font size slightly to accommodate that.

reading declarations

Changes to bin/text2pdf. All files

bin/text2pdf

@@ -10,7 +10,7 @@ for f; do   echo "File: " $f   echo   cat $f-done | enscript --font="DejaVuSansMono11" --media Letter \+done | enscript --font="DejaVuSansMono10" --media Letter \          --margins=25:25:: \          --header='$n|Page $% of $=' -o - | ps2pdf - -