--- /usr/bin/dvipdf.bak	2006-10-15 11:38:25.000000000 +0200
+++ /usr/bin/dvipdf	2006-10-15 11:42:06.000000000 +0200
@@ -8,9 +8,11 @@
 # Based on ps2pdf
 
 OPTIONS=""
+DVIPSOPTIONS=""
 while true
 do
 	case "$1" in
+	-R*) DVIPSOPTIONS="$DVIPSOPTIONS $1";;
 	-*) OPTIONS="$OPTIONS $1" ;;
 	*)  break ;;
 	esac
@@ -37,4 +39,4 @@
 
 # We have to include the options twice because -I only takes effect if it
 # appears before other options.
-exec dvips -q -f "$infile" | gs $OPTIONS -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile="$outfile" $OPTIONS -c .setpdfwrite -
+exec dvips $DVIPSOPTIONS -q -f "$infile" | gs $OPTIONS -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile="$outfile" $OPTIONS -c .setpdfwrite -