Rev 3835 | Rev 8177 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3835 | Rev 8103 | ||
|---|---|---|---|
| Line 16... | Line 16... | ||
| 16 | */ |
16 | */ |
| 17 | 17 | ||
| 18 | /* tex 2 gif translator */ |
18 | /* tex 2 gif translator */ |
| 19 | 19 | ||
| 20 | #include "texgif.h" |
20 | #include "texgif.h" |
| - | 21 | ||
| 21 | char *progname; |
22 | char *progname; |
| 22 | char *tmpdir="/tmp"; |
23 | char *tmpdir="/tmp"; |
| 23 | char *fontdir="/tmp"; |
24 | char *fontdir="/tmp"; |
| 24 | char *headerfile=""; |
25 | char *headerfile=""; |
| 25 | char *texstyle=""; |
26 | char *texstyle=""; |
| Line 36... | Line 37... | ||
| 36 | 37 | ||
| 37 | enum {tt_plain, tt_latex}; |
38 | enum {tt_plain, tt_latex}; |
| 38 | int textype=tt_plain; |
39 | int textype=tt_plain; |
| 39 | char *texname="tex"; |
40 | char *texname="tex"; |
| 40 | 41 | ||
| 41 |
|
42 | /*#include "basic.c"*/ |
| 42 |
|
43 | /*#include "colors.c"*/ |
| 43 |
|
44 | /*#include "tfm.c"*/ |
| 44 |
|
45 | /*#include "gf.c"*/ |
| 45 |
|
46 | /*#include "font.c"*/ |
| 46 |
|
47 | /*#include "image.c"*/ |
| 47 |
|
48 | /*#include "dvi.c"*/ |
| 48 | 49 | ||
| 49 | void checktextype(char *p) |
50 | void checktextype(char *p) |
| 50 | { |
51 | { |
| 51 | if(strstr(p,"\\begin{")!=NULL || |
52 | if(strstr(p,"\\begin{")!=NULL || |
| 52 | strstr(p,"\\end{")!=NULL || |
53 | strstr(p,"\\end{")!=NULL || |