font

diff --git a/Makefile b/Makefile
index cd726bf5676d585db61602d41cca9f9a7d9847d1..0711b43d2db442978dbee352a39c32cccda81c03 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -80,7 +80,7 @@ slides.ps: $(SLIDEFILES) Makefile
        ps2pdf $< $@
 
 talk.ps: %.ps: %.txt Makefile
-       a2ps -1 -o $@.1.tmp -B $<
+       a2ps -1 -f12.5 -o $@.1.tmp -B $<
        pstops <$@.1.tmp >$@ '0@0.94(7mm,7.5mm)'
 
 usb=/media/usb1