yatex

changeset 533:81af9784a013 dev

Add yatexflt.el
author HIROSE Yuuji <yuuji@gentei.org>
date Wed, 30 May 2018 21:12:14 +0900
parents 5eb2b1d824f3
children d10e53367fef
files makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line diff
     1.1 --- a/makefile	Wed May 30 13:54:46 2018 +0900
     1.2 +++ b/makefile	Wed May 30 21:12:14 2018 +0900
     1.3 @@ -52,7 +52,7 @@
     1.4  COMMON	= yatexlib.el yatexprc.el yatexhlp.el
     1.5  LISP18	= yatex.el yatexadd.el yatexgen.el yatexenv.el \
     1.6  	  ${COMMON} \
     1.7 -	  yatexmth.el yatexhks.el yatexhlp.el \
     1.8 +	  yatexmth.el yatexhks.el yatexhlp.el yatexflt.el \
     1.9  	  yatexm-o.el yatexsec.el  yatexhie.el yatexpkg.el ${YAHTML}
    1.10  LISP19	= yatex19.el
    1.11  LISP23	= yatex23.el