author | Gustavo J. A. M. Carneiro <gjc@inescporto.pt> |
Fri, 11 Jul 2008 18:39:19 +0100 | |
changeset 3416 | 926ccb845111 |
parent 3334 | 161f931d516f |
child 3741 | dae14c4979dd |
permissions | -rw-r--r-- |
3333
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
1 |
TEXI2HTML = texi2html |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
2 |
TEXI2PDF = texi2dvi --pdf |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
3 |
EPSTOPDF = epstopdf |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
4 |
TGIF = tgif |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
5 |
DIA = dia |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
6 |
CONVERT = convert |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
7 |
CSS = --css-include=tutorial.css |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
8 |
SPLIT = --split section |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
9 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
10 |
DIA_SOURCES = pp.dia dumbbell.dia star.dia |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
11 |
TGIF_SOURCES = helpers.obj |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
12 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
13 |
DIA_EPS = ${DIA_SOURCES:.dia=.eps} |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
14 |
DIA_PNG = ${DIA_SOURCES:.dia=.png} |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
15 |
DIA_PDF = ${DIA_SOURCES:.dia=.pdf} |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
16 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
17 |
TGIF_EPS = ${TGIF_SOURCES:.obj=.eps} |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
18 |
TGIF_PNG = ${TGIF_SOURCES:.obj=.png} |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
19 |
TGIF_PDF = ${TGIF_SOURCES:.obj=.pdf} |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
20 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
21 |
all: html split-html pdf |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
22 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
23 |
# Note: tgif requires a valid x display to convert from .obj to .png. |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
24 |
# If running this makefile on a remote console, the X virtual frame |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
25 |
# buffer may be needed (xorg-x11-server-Xvfb) to provide a "fake" |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
26 |
# display |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
27 |
images: |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
28 |
cd figures/; $(DIA) -t png $(DIA_SOURCES) |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
29 |
cd figures/; $(DIA) -t eps $(DIA_SOURCES) |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
30 |
cd figures/; $(foreach FILE,$(DIA_EPS),$(EPSTOPDF) $(FILE);) |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
31 |
cd figures/; $(TGIF) -print -png $(TGIF_SOURCES) |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
32 |
cd figures/; $(TGIF) -print -eps $(TGIF_SOURCES) |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
33 |
cd figures/; $(foreach FILE,$(TGIF_EPS),$(EPSTOPDF) $(FILE);) |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
34 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
35 |
html: |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
36 |
$(TEXI2HTML) ${CSS} tutorial.texi |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
37 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
38 |
split-html: |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
39 |
$(TEXI2HTML) ${CSS} ${SPLIT} tutorial.texi |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
40 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
41 |
pdf: |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
42 |
$(TEXI2PDF) tutorial.texi |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
43 |
|
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
44 |
figures-clean: |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
45 |
cd figures/; rm -rf $(DIA_EPS); rm -rf $(DIA_PNG); rm -rf $(DIA_PDF) |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
46 |
cd figures/; rm -rf $(TGIF_EPS); rm -rf $(TGIF_PNG); rm -rf $(TGIF_PDF) |
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
47 |
|
3334
161f931d516f
ignore moved figures dir
Craig Dowell <craigdo@ee.washington.edu>
parents:
3333
diff
changeset
|
48 |
clean: # figures-clean |
3333
76188c437e2e
swapping in all of tutorial would be better
Craig Dowell <craigdo@ee.washington.edu>
parents:
diff
changeset
|
49 |
rm -rf tutorial.aux tutorial.cp tutorial.cps tutorial.fn tutorial.ky tutorial.pg tutorial.tp tutorial.vr tutorial.toc tutorial.log tutorial.pdf tutorial.html tutorial/ |