Cross Reference: /barrelfish-master/usr/eclipseclp/documents/tutorial/Makefile

28 ROOTFILE = tutorial
30 CHAPTERS = $(ROOTFILE).tex \
64 CHAPAUX = $(ROOTFILE).aux $(ROOTFILE).toc $(ROOTFILE).idx
67 all:	$(ROOTFILE).ps
70 #install:	../../doc/$(DESTFILE).pdf $(ROOTFILE)/$(ROOTFILE).html
72 #	mv $(ROOTFILE) ../../doc/$(DESTFILE)
75 install:	../../doc/$(DESTFILE).pdf $(ROOTFILE)/$(ROOTFILE).html $(EXAMPLE_DEST)
77 	mv $(ROOTFILE) ../../doc/$(DESTFILE)
84 ../../doc/$(DESTFILE).pdf:	$(ROOTFILE).pdf
85 	cp $(ROOTFILE).pdf ../../doc/$(DESTFILE).pdf
102 $(ROOTFILE).dvi:	$(CHAPAUX) $(ROOTFILE).bbl $(ROOTFILE).ind $(EPSFIGURES)
107 	latex $(ROOTFILE)
113 	touch $(ROOTFILE).dvi
120 	$(MAKE) $(ROOTFILE).dvi
122 $(ROOTFILE).aux:	$(CHAPTERS)
124 	latex $(ROOTFILE)
126 $(ROOTFILE).idx:	$(ROOTFILE).aux
127 	touch $(ROOTFILE).idx
129 $(ROOTFILE).bbl:	$(ROOTFILE).aux
130 	-bibtex $(ROOTFILE)
132 $(ROOTFILE).ind:	$(ROOTFILE).idx
133 	-makeindex $(ROOTFILE)
135 $(ROOTFILE).pdf:	$(ROOTFILE).ps
136 	ps2pdf $(ROOTFILE).ps
138 $(ROOTFILE).ps:	$(ROOTFILE).dvi
139 	dvips -Ppdf -t a4 -o $(ROOTFILE).ps $(ROOTFILE)
141 $(ROOTFILE).ps.Z:	$(ROOTFILE).ps
142 	compress -f $(ROOTFILE).ps
152 $(ROOTFILE)/$(ROOTFILE).html:	$(CHAPTERS)
153 #	/homes/ks15/latex2html/latex2html -init_file ../texinputs/latex2html-init  $(ROOTFILE)
154 	mkdir -p $(ROOTFILE)
155 	hevea -fix underscore.hva url.hva $(ROOTFILE)
156 	imagen -mag 3000 $(ROOTFILE)
157 	# replace the hard link index.html -> $(ROOTFILE).html by a soft link
159 	hacha -tocbis $(ROOTFILE).html
160         # copy the files needed for the html to $(ROOTFILE) directory
161 	rm -f $(ROOTFILE)/index.html
162 	cp $(ROOTFILE)[0-9]??.* $(ROOTFILE)/
163 	cp $(ROOTFILE).css $(ROOTFILE)/
164 	cp contents_motif.gif next_motif.gif previous_motif.gif $(ROOTFILE)
165 	cp index.html $(ROOTFILE)/$(ROOTFILE).html
166 	ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
170 	rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.* index.html
171 	rm -f $(ROOTFILE)[0-9]??.*
172 	rm -f $(ROOTFILE).ps $(ROOTFILE).ps.Z $(ROOTFILE).pdf
173 	rm -rf $(ROOTFILE)