| /trunk/wims/public_html/modules/help/wimsdoc.en/cmd/instexstatic.phtml |
|---|
| 14,7 → 14,7 |
| `texsource', and that the name of the gif file |
| `gifname' shoule be given (together with the extension |
| `.gif'). `gifname' should be the name of a file in |
| the module's home directory. <br/> |
| the module\'s home directory. <br/> |
| Wims will produce the gif file if it does not exist, or if the file |
| containing the command is newer than the gif file. No TeX is called in the |
| subsequent requests, thus greatly improving performance. <br/> |