version 1.137, 2008/08/27 01:38:10
|
version 1.138, 2009/02/19 10:19:49
|
Line 972 sub analyze_logfile {
|
Line 972 sub analyze_logfile {
|
|
|
if ($advanced_role) { |
if ($advanced_role) { |
#LaTeX failed to parse tex file |
#LaTeX failed to parse tex file |
print "<h2>".&mt('LaTeX could not successfully parse your tex file.')."</h2>"; |
print "<h2>".&mt('LaTeX could not successfully parse your TeX file.')."</h2>"; |
print &mt('It probably has errors in it.')."<br />"; |
print &mt('It probably has errors in it.')."<br />"; |
if ($badtext) { |
if ($badtext) { |
print &mt('With very high probability this error occured in [_1].',$badtext) |
print &mt('With very high probability this error occured in [_1].',$badtext) |