Rev 13310 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 13310 | Rev 17517 | ||
|---|---|---|---|
| Line 15... | Line 15... | ||
| 15 | 15 | ||
| 16 | // these C headers are needed to compile on OpenSuSE Linux (and others?) to use atoi/strlen |
16 | // these C headers are needed to compile on OpenSuSE Linux (and others?) to use atoi/strlen |
| 17 | #include <string.h> |
17 | #include <string.h> |
| 18 | #include <stdlib.h> |
18 | #include <stdlib.h> |
| 19 | #include <sys/time.h> |
19 | #include <sys/time.h> |
| - | 20 | #include <ctime> |
|
| 20 | 21 | ||
| 21 | 22 | ||
| 22 | int use_javascript; |
23 | int use_javascript; |
| 23 | char wims_texfontsize[64]; // is set by cmd-line argument "--tex-size" via wims |
24 | char wims_texfontsize[64]; // is set by cmd-line argument "--tex-size" via wims |
| 24 | char wims_mathml_id[64]; // is set by cmd-line argument "--mathml-id" via wims |
25 | char wims_mathml_id[64]; // is set by cmd-line argument "--mathml-id" via wims |