Bug#534458: Patch for this bug

[Mehdi Tibouchi <mehdi.tibouchi@normalesup.org>]

Hello,

As suggested by Frank Küster, the attached trivial patch fixes the
problem. It touches 4 lines, so should be easy enough to review.

Thanks for committing at your earliest convenience.

Best,

-- 
M. Tibouchi

*** texi2dvi.debian	2009-10-08 12:38:39.000000000 +0200
--- /usr/bin/texi2dvi	2009-10-08 12:40:58.000000000 +0200
*************** build_dir=${TEXI2DVI_BUILD_DIRECTORY:-.}
*** 56,62 ****
  # Instead, assign them an empty value.
  action=compile
  batch=false     # true for batch mode
- catcode_special=true
  debug=false
  escape="\\"
  expand=         # t for expansion via makeinfo
--- 56,61 ----
*************** xref_files_changed ()
*** 880,896 ****
  # Run TeX as "$tex $in_input", taking care of errors and logs.
  run_tex ()
  {
    case $in_lang:`out_lang_tex` in
      latex:dvi)   tex=${LATEX:-latex};;
      latex:pdf)   tex=${PDFLATEX:-pdflatex};;
      texinfo:dvi)
  	# MetaPost also uses the TEX environment variable.  If the user
  	# has set TEX=latex for that reason, don't bomb out.
  	case $TEX in
  	  *latex) tex=tex;; # don't bother trying to find etex
  	       *) tex=$TEX
  	esac;;
!     texinfo:pdf) tex=$PDFTEX;;
  
      *) error 1 "$0: $out_lang not supported for $in_lang";;
    esac
--- 879,897 ----
  # Run TeX as "$tex $in_input", taking care of errors and logs.
  run_tex ()
  {
+   catcode_special=false
    case $in_lang:`out_lang_tex` in
      latex:dvi)   tex=${LATEX:-latex};;
      latex:pdf)   tex=${PDFLATEX:-pdflatex};;
      texinfo:dvi)
  	# MetaPost also uses the TEX environment variable.  If the user
  	# has set TEX=latex for that reason, don't bomb out.
+         catcode_special=true;
  	case $TEX in
  	  *latex) tex=tex;; # don't bother trying to find etex
  	       *) tex=$TEX
  	esac;;
!     texinfo:pdf) catcode_special=true; tex=$PDFTEX;;
  
      *) error 1 "$0: $out_lang not supported for $in_lang";;
    esac