mediawiki-extensions-Math/texvccheck/.gitignore

# Compiled source
*.cmi
*.cmx
*.o
parser.mli

# The binaries
texvccheck
Breakdown of texvc texvc had several tasks in the past: 1 checking the input 2 convert MediaWiki custom syntax to standard LaTeX 3 run LaTeX 4 convert dvi2png This change provides a simplified version that performs only steps 1+2. This is required to avoid security problems with tools like MathJax, especially if these tools are run at the server-side. Bug: 54624 Change-Id: I1650e6ec2ccefff6335fbc36bbe8ca8f59db0faa 2013-10-20 12:51:34 +00:00			`# Compiled source`
			`*.cmi`
			`*.cmx`
			`*.o`
Do not ignore all .mli files in texvccheck The pattern "*.mli" was incorrectly added to texvccheck/.gitignore by 4c9dc2f08e03ad23e1e2f0cefc52ca6893fbe6a2 with the comment "Compiled source". As with d9a7da14f10f6c53bdf1a18febab030d48f0a960, .mli files define the interfaces for the corresponding .ml module and thus should not be ignored. The only exception to this is parser.mli which is generated by the ocamlyacc from the parser.mly definition, so this change only ignores those files. Change-Id: I263df70e58fb14a7228c32d5c985ff7f1b841891 2016-12-25 11:44:32 +00:00			`parser.mli`
Breakdown of texvc texvc had several tasks in the past: 1 checking the input 2 convert MediaWiki custom syntax to standard LaTeX 3 run LaTeX 4 convert dvi2png This change provides a simplified version that performs only steps 1+2. This is required to avoid security problems with tools like MathJax, especially if these tools are run at the server-side. Bug: 54624 Change-Id: I1650e6ec2ccefff6335fbc36bbe8ca8f59db0faa 2013-10-20 12:51:34 +00:00
			`# The binaries`
			`texvccheck`