| Line 25... |
Line 25... |
| 25 |
# Please send bug reports, etc. to bug-texinfo@gnu.org.
|
25 |
# Please send bug reports, etc. to bug-texinfo@gnu.org.
|
| 26 |
# If possible, please send a copy of the output of the script called with
|
26 |
# If possible, please send a copy of the output of the script called with
|
| 27 |
# the `--debug' option when making a bug report.
|
27 |
# the `--debug' option when making a bug report.
|
| 28 |
|
28 |
|
| 29 |
# This string is expanded by rcs automatically when this file is checked out.
|
29 |
# This string is expanded by rcs automatically when this file is checked out.
|
| 30 |
rcs_revision='$Revision: 1.3 $'
|
30 |
rcs_revision='$Rev: 37351 $'
|
| 31 |
rcs_version=`set - $rcs_revision; echo $2`
|
31 |
rcs_version=`set - $rcs_revision; echo $2`
|
| 32 |
program=`echo $0 | sed -e 's!.*/!!'`
|
32 |
program=`echo $0 | sed -e 's!.*/!!'`
|
| 33 |
version="texi2dvi (GNU Texinfo 4.7) $rcs_version
|
33 |
version="texi2dvi (GNU Texinfo 4.7) $rcs_version
|
| 34 |
|
34 |
|
| 35 |
Copyright (C) 2004 Free Software Foundation, Inc.
|
35 |
Copyright (C) 2004 Free Software Foundation, Inc.
|