Rev 8103 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8103 | Rev 8177 | ||
---|---|---|---|
Line 36... | Line 36... | ||
36 | int fontcnt; |
36 | int fontcnt; |
37 | 37 | ||
38 | enum {tt_plain, tt_latex}; |
38 | enum {tt_plain, tt_latex}; |
39 | int textype=tt_plain; |
39 | int textype=tt_plain; |
40 | char *texname="tex"; |
40 | char *texname="tex"; |
41 | - | ||
42 | /*#include "basic.c"*/ |
- | |
43 | /*#include "colors.c"*/ |
- | |
44 | /*#include "tfm.c"*/ |
- | |
45 | /*#include "gf.c"*/ |
- | |
46 | /*#include "font.c"*/ |
- | |
47 | /*#include "image.c"*/ |
- | |
48 | /*#include "dvi.c"*/ |
- | |
49 | 41 | ||
50 | void checktextype(char *p) |
42 | void checktextype(char *p) |
51 | { |
43 | { |
52 | if(strstr(p,"\\begin{")!=NULL || |
44 | if(strstr(p,"\\begin{")!=NULL || |
53 | strstr(p,"\\end{")!=NULL || |
45 | strstr(p,"\\end{")!=NULL || |