version 1.3, 2004/06/30 22:42:32 |
version 1.4, 2004/09/10 08:24:02 |
|
|
# $OpenXM: OpenXM/src/asir-doc/Makefile.in,v 1.2 2004/06/30 22:14:06 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-doc/Makefile.in,v 1.3 2004/06/30 22:42:32 takayama Exp $ |
OpenXM_HOME=@prefix@ |
OpenXM_HOME=@prefix@ |
OpenXM_doc_asir2000=${OpenXM_HOME}/doc/asir2000 |
OpenXM_doc_asir2000=${OpenXM_HOME}/doc/asir2000 |
OpenXM_lib_asir=${OpenXM_HOME}/lib/asir |
OpenXM_lib_asir=${OpenXM_HOME}/lib/asir |
Line 165 help-eg: tmpEG man-eg.dvi |
|
Line 165 help-eg: tmpEG man-eg.dvi |
|
html-jp: tmpJPhtml |
html-jp: tmpJPhtml |
-rm -rf html-jp |
-rm -rf html-jp |
-mkdir html-jp |
-mkdir html-jp |
-(cd html-jp; texi2html -menu -split_node ../tmpJPhtml/man.texi) |
-(cd html-jp; ../texi2html -menu -split_node ../tmpJPhtml/man.texi) |
|
|
html-eg: tmpEGhtml |
html-eg: tmpEGhtml |
-rm -rf html-eg |
-rm -rf html-eg |
-mkdir html-eg |
-mkdir html-eg |
-(cd html-eg; texi2html -menu -split_node ../tmpEGhtml/man.texi) |
-(cd html-eg; ../texi2html -menu -split_node ../tmpEGhtml/man.texi) |
|
|
html-win: html-jp gen_hh |
html-win: html-jp gen_hh |
-rm -rf html-win |
-rm -rf html-win |
Line 187 html-win-eg: html-eg gen_hh |
|
Line 187 html-win-eg: html-eg gen_hh |
|
html-internal-ja: tmp-internal-JAhtml |
html-internal-ja: tmp-internal-JAhtml |
-rm -rf html-internal-ja |
-rm -rf html-internal-ja |
-mkdir html-internal-ja |
-mkdir html-internal-ja |
-(cd html-internal-ja; texi2html ../tmp-internal-JAhtml/internal.texi) |
-(cd html-internal-ja; ../texi2html ../tmp-internal-JAhtml/internal.texi) |
|
|
html-exp-ja: exp/exp-ja.texi |
html-exp-ja: exp/exp-ja.texi |
-rm -rf html-exp-ja |
-rm -rf html-exp-ja |
-mkdir html-exp-ja |
-mkdir html-exp-ja |
-nkf -e <exp/exp-ja.texi >html-exp-ja/exp-ja.texi |
-nkf -e <exp/exp-ja.texi >html-exp-ja/exp-ja.texi |
-(cd html-exp-ja; texi2html -menu -split_node exp-ja.texi) |
-(cd html-exp-ja; ../texi2html -menu -split_node exp-ja.texi) |
|
|
internal-jp.dvi: tmp-internal-JAhtml |
internal-jp.dvi: tmp-internal-JAhtml |
-rm internal-jp.dvi |
-rm internal-jp.dvi |