| Line 1... |
Line 1... |
| 1 |
#! /bin/sh
|
1 |
#! /bin/sh
|
| 2 |
# texi2dvi --- produce DVI (or PDF) files from Texinfo (or LaTeX) sources.
|
2 |
# texi2dvi --- produce DVI (or PDF) files from Texinfo (or LaTeX) sources.
|
| 3 |
# $Id: texi2dvi,v 1.3 2003/07/28 16:51:25 hornik Exp $
|
3 |
# $Id: texi2dvi,v 1.4 2003/09/25 06:15:28 hornik Exp $
|
| 4 |
#
|
4 |
#
|
| 5 |
# Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2001,
|
5 |
# Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2001,
|
| 6 |
# 2002, 2003 Free Software Foundation, Inc.
|
6 |
# 2002, 2003 Free Software Foundation, Inc.
|
| 7 |
#
|
7 |
#
|
| 8 |
# This program is free software; you can redistribute it and/or modify
|
8 |
# This program is free software; you can redistribute it and/or modify
|
| Line 24... |
Line 24... |
| 24 |
#
|
24 |
#
|
| 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 |
if ! command -v tex >/dev/null 2>&1; then
|
- |
|
| 30 |
cat <<%EOM%
|
- |
|
| 31 |
You don't have a working TeX binary installed, but the texi2dvi script
|
- |
|
| 32 |
can't proceed without it. If you want to use this script, you have to
|
- |
|
| 33 |
install some kind of TeX, for example teTeX Debian packages. You can do
|
- |
|
| 34 |
that with this command:
|
- |
|
| 35 |
apt-get install tetex-bin
|
- |
|
| 36 |
%EOM%
|
- |
|
| 37 |
exit 1
|
- |
|
| 38 |
fi
|
- |
|
| 39 |
|
- |
|
| 40 |
# 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.
|
| 41 |
rcs_revision='$Revision: 1.3 $'
|
30 |
rcs_revision='$Revision: 1.4 $'
|
| 42 |
rcs_version=`set - $rcs_revision; echo $2`
|
31 |
rcs_version=`set - $rcs_revision; echo $2`
|
| 43 |
program=`echo $0 | sed -e 's!.*/!!'`
|
32 |
program=`echo $0 | sed -e 's!.*/!!'`
|
| 44 |
version="texi2dvi (GNU Texinfo 4.6) $rcs_version
|
33 |
version="texi2dvi (GNU Texinfo 4.6) $rcs_version
|
| 45 |
|
34 |
|
| 46 |
Copyright (C) 2003 Free Software Foundation, Inc.
|
35 |
Copyright (C) 2003 Free Software Foundation, Inc.
|