diff options
Diffstat (limited to 'Bonus')
| -rwxr-xr-x | Bonus/html2latex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Bonus/html2latex b/Bonus/html2latex index 7b894e7..898799a 100755 --- a/Bonus/html2latex +++ b/Bonus/html2latex @@ -490,7 +490,7 @@ until f.eof? print "\\begin{document}\n" $in_document = TRUE end - # enviconment push + # environment push if act[1].kind_of?(Hash) && (tok.tagname != "p" || tok.switch('align') != nil) then intp.dup |