Rev 8100 | Rev 8149 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8100 | Rev 8103 | ||
---|---|---|---|
Line 14... | Line 14... | ||
14 | * along with this program; if not, write to the Free Software |
14 | * along with this program; if not, write to the Free Software |
15 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
15 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
16 | */ |
16 | */ |
17 | 17 | ||
18 | /* dvi 2 gif driver, tex standard */ |
18 | /* dvi 2 gif driver, tex standard */ |
- | 19 | ||
19 | #include " |
20 | #include "texgif.h" |
20 | 21 | ||
21 | void error(char *s) |
22 | void error(char *s) |
22 | { |
23 | { |
23 | fprintf(stderr,"%s: %s\n",progname, s); |
24 | fprintf(stderr,"%s: %s\n",progname, s); |
24 | exit(1); |
25 | exit(1); |