texinfo update (Tue Jan 17 06:52:01 EST 2006)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.558
retrieving revision 1.559
diff -c -r1.558 -r1.559
*** ChangeLog   15 Jan 2006 23:20:10 -0000      1.558
--- ChangeLog   17 Jan 2006 11:29:27 -0000      1.559
***************
*** 1,3 ****
--- 1,8 ----
+ 2006-01-17  Akim Demaille  <address@hidden>
+ 
+       * util/texi2dvi (generated_files_get): Skip nonexistent files
+       earlier.
+ 
  2006-01-15  Karl Berry  <address@hidden>
  
        * info/infodoc.c (info_internal_help_text): combine messages
Index: doc/texi2dvi.1
===================================================================
RCS file: /sources/texinfo/texinfo/doc/texi2dvi.1,v
retrieving revision 1.46
retrieving revision 1.47
diff -c -r1.46 -r1.47
*** doc/texi2dvi.1      9 Jan 2006 09:49:23 -0000       1.46
--- doc/texi2dvi.1      17 Jan 2006 11:29:27 -0000      1.47
***************
*** 1,5 ****
  .\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.36.
! .TH TEXI2DVI "1" "January 2006" "texi2dvi 1.70" "User Commands"
  .SH NAME
  texi2dvi \- convert Texinfo documents to DVI
  .SH SYNOPSIS
--- 1,5 ----
  .\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.36.
! .TH TEXI2DVI "1" "January 2006" "texi2dvi 1.71" "User Commands"
  .SH NAME
  texi2dvi \- convert Texinfo documents to DVI
  .SH SYNOPSIS
Index: util/texi2dvi
===================================================================
RCS file: /sources/texinfo/texinfo/util/texi2dvi,v
retrieving revision 1.71
retrieving revision 1.72
diff -c -r1.71 -r1.72
*** util/texi2dvi       9 Jan 2006 09:49:23 -0000       1.71
--- util/texi2dvi       17 Jan 2006 11:29:27 -0000      1.72
***************
*** 1,6 ****
  #! /bin/sh
  # texi2dvi --- produce DVI (or PDF) files from Texinfo (or (La)TeX) sources.
! # $Id: texi2dvi,v 1.71 2006/01/09 09:49:23 akim Exp $
  #
  # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2001,
  # 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
--- 1,6 ----
  #! /bin/sh
  # texi2dvi --- produce DVI (or PDF) files from Texinfo (or (La)TeX) sources.
! # $Id: texi2dvi,v 1.72 2006/01/17 11:29:27 akim Exp $
  #
  # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2001,
  # 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
***************
*** 35,41 ****
  set -e
  
  # This string is expanded by rcs automatically when this file is checked out.
! rcs_revision='$Revision: 1.71 $'
  rcs_version=`set - $rcs_revision; echo $2`
  program=`echo $0 | sed -e 's!.*/!!'`
  version="texi2dvi (GNU Texinfo 4.8) $rcs_version
--- 35,41 ----
  set -e
  
  # This string is expanded by rcs automatically when this file is checked out.
! rcs_revision='$Revision: 1.72 $'
  rcs_version=`set - $rcs_revision; echo $2`
  program=`echo $0 | sed -e 's!.*/!!'`
  version="texi2dvi (GNU Texinfo 4.8) $rcs_version
***************
*** 524,529 ****
--- 524,531 ----
    ) |
    # Depending on these files, infer outputs from other tools.
    while read file; do
+     test -f $file ||
+       continue
      echo $file
      case $language in
        (texinfo)
***************
*** 543,549 ****
    done |
    # Filter existing files matching the criterion.
    while read file; do
!     if test -f $file && $filter $file; then
        echo $file
      fi
    done |
--- 545,551 ----
    done |
    # Filter existing files matching the criterion.
    while read file; do
!     if $filter $file; then
        echo $file
      fi
    done |
P ChangeLog
P doc/texi2dvi.1
P util/texi2dvi