| version 1.7, 2000/01/24 07:21:07 |
version 1.12, 2000/02/10 01:18:53 |
|
|
| # $OpenXM: OpenXM/doc/OpenXM-web/Makefile,v 1.6 2000/01/21 10:00:21 takayama Exp $ |
# $OpenXM: OpenXM/doc/OpenXM-web/Makefile,v 1.11 2000/02/04 07:21:47 takayama Exp $ |
| # |
# |
| WEBKOBE=/home/web/OpenXM |
WEBKOBE=/home/web/OpenXM |
| WEBKOBE1=/home/web/OpenXM/20000124 |
WEBKOBE1=/home/web/OpenXM/20000124 |
| OpenXM_doc=../. |
OpenXM_doc=../. |
| OpenXM_spec=../OpenXM-specs |
OpenXM_spec=../OpenXM-specs |
| DVIPS=dvips -f |
DVIPS=dvips -f |
| |
LATEX2HTML=jlatex2html -tmp /tmp |
| |
|
| all : install-web-kobe |
all : install-web-kobe |
| |
|
|
|
| mkdir $(WEBKOBE1)/doc |
mkdir $(WEBKOBE1)/doc |
| -(cd ../../doc ; cp -r Papers asir-contrib asir2000 kan96xx ox_math $(WEBKOBE1)/doc) |
-(cd ../../doc ; cp -r Papers asir-contrib asir2000 kan96xx ox_math $(WEBKOBE1)/doc) |
| |
|
| |
copy-html : |
| |
/bin/rm -rf $(WEBKOBE1)/html |
| |
mkdir $(WEBKOBE1)/html |
| |
mkdir $(WEBKOBE1)/html/OpenXM-eg |
| |
mkdir $(WEBKOBE1)/html/OpenXM-jp |
| |
-(cd $(OpenXM_spec) ; make ; cd tmpEG ; latex OpenXM; latex OpenXM ; $(LATEX2HTML) OpenXM ) |
| |
-(cd $(OpenXM_spec) ; cd tmpJP ; platex OpenXM; platex OpenXM ; $(LATEX2HTML) OpenXM ) |
| |
-(cd $(OpenXM_spec) ; cd tmpEG ; cp -rf OpenXM $(WEBKOBE1)/html/OpenXM-eg) |
| |
-(cd $(OpenXM_spec) ; cd tmpJP ; cp -rf OpenXM $(WEBKOBE1)/html/OpenXM-jp) |
| |
|
| |
|
| |
|
| install-web-kobe : $(WEBKOBE)/index.html $(WEBKOBE)/issac2000.ps $(WEBKOBE1)/cmotag.h $(WEBKOBE1)/oxMessageTag.h $(WEBKOBE1)/smCommand.h $(WEBKOBE1)/install-eg.txt $(WEBKOBE1)/install-jp.txt $(WEBKOBE1)/ERRATA.html |
install-web-kobe : $(WEBKOBE)/index.html $(WEBKOBE)/issac2000.ps $(WEBKOBE1)/cmotag.h $(WEBKOBE1)/oxMessageTag.h $(WEBKOBE1)/smCommand.h $(WEBKOBE1)/install-eg.txt $(WEBKOBE1)/install-jp.txt $(WEBKOBE1)/ERRATA.html |
| |
|
| $(WEBKOBE)/index.html : index.html |
$(WEBKOBE)/index.html : index.html |
| Line 39 $(WEBKOBE1)/smCommand.h : smCommand.h |
|
| Line 50 $(WEBKOBE1)/smCommand.h : smCommand.h |
|
| $(WEBKOBE1)/openxm-eg.ps : $(OpenXM_spec)/tmpEG/OpenXM.tex |
$(WEBKOBE1)/openxm-eg.ps : $(OpenXM_spec)/tmpEG/OpenXM.tex |
| -rm -f $(WEBKOBE1)/openxm-eg.ps |
-rm -f $(WEBKOBE1)/openxm-eg.ps |
| -(cd $(OpenXM_spec) ; make doc ; cd tmpEG ; latex OpenXM ; latex OpenXM) |
-(cd $(OpenXM_spec) ; make doc ; cd tmpEG ; latex OpenXM ; latex OpenXM) |
| -$(DVIPS) $(OpenXM_spec)/tmpEG/OpenXM >$(WEBKOBE1)/openxm-eg.ps |
-( cd $(OpenXM_spec)/tmpEG ; $(DVIPS) OpenXM >$(WEBKOBE1)/openxm-eg.ps) |
| |
|
| $(WEBKOBE1)/openxm-jp.ps : $(OpenXM_spec)/tmpJP/OpenXM.tex |
$(WEBKOBE1)/openxm-jp.ps : $(OpenXM_spec)/tmpJP/OpenXM.tex |
| -rm -f $(WEBKOBE1)/openxm-jp.ps |
-rm -f $(WEBKOBE1)/openxm-jp.ps |
| -(cd $(OpenXM_spec) ; make doc ; cd tmpJP ; platex OpenXM ; platex OpenXM) |
-(cd $(OpenXM_spec) ; make doc ; cd tmpJP ; platex OpenXM ; platex OpenXM) |
| -$(DVIPS) $(OpenXM_spec)/tmpJP/OpenXM >$(WEBKOBE1)/openxm-jp.ps |
-(cd $(OpenXM_spec)/tmpJP ; $(DVIPS) OpenXM >$(WEBKOBE1)/openxm-jp.ps) |
| |
|
| $(WEBKOBE1)/install-eg.txt : $(OpenXM_doc)/install-eg.txt |
$(WEBKOBE1)/install-eg.txt : $(OpenXM_doc)/install-eg.txt |
| -cp $(OpenXM_doc)/install-eg.txt $(WEBKOBE1) |
-cp $(OpenXM_doc)/install-eg.txt $(WEBKOBE1) |
| Line 62 $(OpenXM_doc)/install-jp.txt : $(OpenXM_doc)/install.o |
|
| Line 73 $(OpenXM_doc)/install-jp.txt : $(OpenXM_doc)/install.o |
|
| ( cd $(OpenXM_doc) ; make ) |
( cd $(OpenXM_doc) ; make ) |
| $(WEBKOBE1)/ERRATA.html : ERRATA.html |
$(WEBKOBE1)/ERRATA.html : ERRATA.html |
| cp -f ERRATA.html $(WEBKOBE1)/ERRATA.html |
cp -f ERRATA.html $(WEBKOBE1)/ERRATA.html |
| |
|
| |
copy-errata : |
| |
cp -f ERRATA.html $(WEBKOBE1)/ERRATA.html |
| |
copy-index : |
| |
cp -f index.html $(WEBKOBE1)/index.html |
| |
|
| clean-web-kobe : |
clean-web-kobe : |
| -rm $(WEBKOBE)/index.html $(WEBKOBE)/issac2000.ps $(WEBKOBE1)/cmotag.h $(WEBKOBE1)/oxMessageTag.h $(WEBKOBE1)/smCommand.h $(WEBKOBE1)/openxm-eg.ps $(WEBKOBE1)/openxm-jp.ps |
-rm $(WEBKOBE)/index.html $(WEBKOBE)/issac2000.ps $(WEBKOBE1)/cmotag.h $(WEBKOBE1)/oxMessageTag.h $(WEBKOBE1)/smCommand.h $(WEBKOBE1)/openxm-eg.ps $(WEBKOBE1)/openxm-jp.ps |