yatex
diff makefile @ 217:e59126447ee7
Recognize null environment name as \begin{} ... \end{}.
author | yuuji@gentei.org |
---|---|
date | Fri, 13 Jan 2012 16:19:56 +0900 |
parents | 03f7349a6223 |
children | d467c0fb6083 |
line diff
1.1 --- a/makefile Tue Jan 10 16:00:42 2012 +0900 1.2 +++ b/makefile Fri Jan 13 16:19:56 2012 +0900 1.3 @@ -49,7 +49,7 @@ 1.4 # make clean to delete all producted files 1.5 # make ci to check in all 1.6 # make co to check out all 1.7 -MVER = 1.74.7 1.8 +MVER = 1.75 1.9 LISP = ${LISP18} ${LISP19} 1.10 YAHTML = yahtml.el 1.11 COMMON = yatexlib.el yatexprc.el