File krb5-1.6.3-texi2dvi-fix.dif of Package krb5-mini

Index: trunk/doc/Makefile
===================================================================
--- doc/Makefile
+++ doc/Makefile
@@ -1,5 +1,5 @@
 SRCDIR=../src
-DVI=texi2dvi4a2ps	# texi2dvi
+DVI=texi2dvi	# texi2dvi
 DVIPS=dvips -o "$@"
 PSPDF=ps2pdf
 INFO=makeinfo