diff --git a/docs/manual/images/Makefile.am b/docs/manual/images/Makefile.am
index 003e57bd5b..5dc738587b 100644
--- a/docs/manual/images/Makefile.am
+++ b/docs/manual/images/Makefile.am
@@ -28,7 +28,7 @@ epsfiles= \
 	fig2dev -L png -s 16 $< $@
 
 %.eps : ../fig/%.fig
-	fig2dev -L eps -s 16 $< $@
+	fig2dev -L eps -s 16 -m 0.5 $< $@
 
 
 all-local: $(epsfiles)