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 || |