man2texi/noiso8859.diff

   1 diff -aur man2texi-0.01.orig/man2texi.sin man2texi-0.01.new/man2texi.sin
   2 --- man2texi-0.01.orig/man2texi.sin     2002-12-23 14:53:25.000000000 +0100
   3 +++ man2texi-0.01.new/man2texi.sin      2009-10-22 02:22:08.000000000 +0200
   4 @@ -237,8 +237,7 @@
   5                         exit 1
   6                 else
   7                         test -f $texifile && $MV -f $texifile $texifile.org
   8 -                       $AWK -v Filename="$infile" -f $SHRLIBDIR/man2texi.awk $infile |
   9 -                               $SED -f $SHRLIBDIR/iso8859-1-to-texinfo.sed > $texifile
  10 +                       $AWK -v Filename="$infile" -f $SHRLIBDIR/man2texi.awk $infile
  11                         if test "$DVI" = "yes"
  12                         then
  13                                 test "$TRACE" = yes && echo $texifile " -> " $dvifile
  14 @@ -254,6 +253,5 @@
  15                 fi
  16         done
  17  else # not batch: output to stdout (and thus no -dvi or -info support!)
  18 -       $AWK -v Filename="$FILENAME" -f $SHRLIBDIR/man2texi.awk $FILES |
  19 -               $SED -f $SHRLIBDIR/iso8859-1-to-texinfo.sed
  20 +       $AWK -v Filename="$FILENAME" -f $SHRLIBDIR/man2texi.awk $FILES
  21  fi