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 wrap: on
line diff
--- a/makefile	Wed May 30 13:54:46 2018 +0900
+++ b/makefile	Wed May 30 21:12:14 2018 +0900
@@ -52,7 +52,7 @@
 COMMON	= yatexlib.el yatexprc.el yatexhlp.el
 LISP18	= yatex.el yatexadd.el yatexgen.el yatexenv.el \
 	  ${COMMON} \
-	  yatexmth.el yatexhks.el yatexhlp.el \
+	  yatexmth.el yatexhks.el yatexhlp.el yatexflt.el \
 	  yatexm-o.el yatexsec.el  yatexhie.el yatexpkg.el ${YAHTML}
 LISP19	= yatex19.el
 LISP23	= yatex23.el

yatex.org