===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/Makefile.in,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -p -r1.13 -r1.14
--- OpenXM/src/asir-doc/Makefile.in	2018/10/18 06:30:29	1.13
+++ OpenXM/src/asir-doc/Makefile.in	2020/08/27 23:34:32	1.14
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/src/asir-doc/Makefile.in,v 1.12 2017/08/31 21:48:00 takayama Exp $
+# $OpenXM: OpenXM/src/asir-doc/Makefile.in,v 1.13 2018/10/18 06:30:29 takayama Exp $
 OpenXM_HOME=@OpenXM_HOME@
 OpenXM_doc_asir2000=${OpenXM_HOME}/doc/asir2000
 OpenXM_lib_asir=${OpenXM_HOME}/lib/asir
@@ -6,7 +6,7 @@ OpenXM_man=${OpenXM_HOME}/man/man1
 CC=@CC@
 TEX=@TEX@
 PTEX=@PTEX@
-MAKEINFO=@MAKEINFO@
+MAKEINFO=@MAKEINFO@ --force
 LANGUAGES = en ja
 INSTALL = cp -f
 TEXI2HTML = texi2html