Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/branches/SMLNJ/src/cml/doc/Makefile
ViewVC logotype

Annotation of /sml/branches/SMLNJ/src/cml/doc/Makefile

Parent Directory Parent Directory | Revision Log Revision Log


Revision 10 - (view) (download)

1 : monnier 7 # Generated makefile
2 :     #
3 :    
4 :     MLDOC_BIN = /home/jhr/SGML/ML-Doc/bin/.heap
5 :    
6 :     SML = sml
7 :    
8 :     PROOF = $(SML) @SMLload=$(MLDOC_BIN)/proof-latex @SMLdebug=/dev/null
9 :     EXTRACT_INFO = $(SML) @SMLload=$(MLDOC_BIN)/extract-info @SMLdebug=/dev/null
10 :     MERGE_INFO = $(SML) @SMLload=$(MLDOC_BIN)/merge-info @SMLdebug=/dev/null
11 :     HTML_GEN = $(SML) @SMLload=$(MLDOC_BIN)/html-gen @SMLdebug=/dev/null
12 :     HTML_INDEX = $(SML) @SMLload=$(MLDOC_BIN)/html-index @SMLdebug=/dev/null
13 :    
14 :     SRC_DIR = ML-Doc
15 :     PROOF_DIR = Proof
16 :     INFO_DIR = Info
17 :     HTML_DIR = HTML
18 :    
19 :     HTML_FILES = $(HTML_DIR)/index-all.html \
20 :     $(HTML_DIR)/refman.html \
21 :     $(HTML_DIR)/basics.html \
22 :     $(HTML_DIR)/porting.html \
23 :     $(HTML_DIR)/core-cml.html \
24 :     $(HTML_DIR)/cml.html \
25 :     $(HTML_DIR)/mailbox.html \
26 :     $(HTML_DIR)/sync-var.html \
27 :     $(HTML_DIR)/os.html \
28 :     $(HTML_DIR)/os-process.html \
29 :     $(HTML_DIR)/os-io.html \
30 :     $(HTML_DIR)/cml-lib.html \
31 :     $(HTML_DIR)/multicast.html \
32 :     $(HTML_DIR)/trace-cml.html
33 :    
34 :     INFO_FILES = $(INFO_DIR)/refman.info \
35 :     $(INFO_DIR)/basics.info \
36 :     $(INFO_DIR)/porting.info \
37 :     $(INFO_DIR)/core-cml.info \
38 :     $(INFO_DIR)/cml.info \
39 :     $(INFO_DIR)/mailbox.info \
40 :     $(INFO_DIR)/sync-var.info \
41 :     $(INFO_DIR)/os.info \
42 :     $(INFO_DIR)/os-process.info \
43 :     $(INFO_DIR)/os-io.info \
44 :     $(INFO_DIR)/cml-lib.info \
45 :     $(INFO_DIR)/multicast.info \
46 :     $(INFO_DIR)/trace-cml.info
47 :    
48 :     PROOF_FILES = $(PROOF_DIR)/refman.tex \
49 :     $(PROOF_DIR)/basics.tex \
50 :     $(PROOF_DIR)/porting.tex \
51 :     $(PROOF_DIR)/core-cml.tex \
52 :     $(PROOF_DIR)/cml.tex \
53 :     $(PROOF_DIR)/mailbox.tex \
54 :     $(PROOF_DIR)/sync-var.tex \
55 :     $(PROOF_DIR)/os.tex \
56 :     $(PROOF_DIR)/os-process.tex \
57 :     $(PROOF_DIR)/os-io.tex \
58 :     $(PROOF_DIR)/cml-lib.tex \
59 :     $(PROOF_DIR)/multicast.tex \
60 :     $(PROOF_DIR)/trace-cml.tex
61 :    
62 :     HTML: $(HTML_FILES)
63 :    
64 :     $(HTML_DIR)/refman.html: $(SRC_DIR)/refman.mldoc $(INFO_DIR)/Master.info
65 :     $(HTML_GEN) $(SRC_DIR)/refman.mldoc
66 :    
67 :     $(HTML_DIR)/basics.html: $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info
68 :     $(HTML_GEN) $(SRC_DIR)/basics.mldoc
69 :    
70 :     $(HTML_DIR)/porting.html: $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info
71 :     $(HTML_GEN) $(SRC_DIR)/porting.mldoc
72 :    
73 :     $(HTML_DIR)/core-cml.html: $(SRC_DIR)/core-cml.mldoc $(INFO_DIR)/Master.info
74 :     $(HTML_GEN) $(SRC_DIR)/core-cml.mldoc
75 :    
76 :     $(HTML_DIR)/cml.html: $(SRC_DIR)/cml.mldoc $(INFO_DIR)/Master.info
77 :     $(HTML_GEN) $(SRC_DIR)/cml.mldoc
78 :    
79 :     $(HTML_DIR)/mailbox.html: $(SRC_DIR)/mailbox.mldoc $(INFO_DIR)/Master.info
80 :     $(HTML_GEN) $(SRC_DIR)/mailbox.mldoc
81 :    
82 :     $(HTML_DIR)/sync-var.html: $(SRC_DIR)/sync-var.mldoc $(INFO_DIR)/Master.info
83 :     $(HTML_GEN) $(SRC_DIR)/sync-var.mldoc
84 :    
85 :     $(HTML_DIR)/os.html: $(SRC_DIR)/os.mldoc $(INFO_DIR)/Master.info
86 :     $(HTML_GEN) $(SRC_DIR)/os.mldoc
87 :    
88 :     $(HTML_DIR)/os-process.html: $(SRC_DIR)/os-process.mldoc $(INFO_DIR)/Master.info
89 :     $(HTML_GEN) $(SRC_DIR)/os-process.mldoc
90 :    
91 :     $(HTML_DIR)/os-io.html: $(SRC_DIR)/os-io.mldoc $(INFO_DIR)/Master.info
92 :     $(HTML_GEN) $(SRC_DIR)/os-io.mldoc
93 :    
94 :     $(HTML_DIR)/cml-lib.html: $(SRC_DIR)/cml-lib.mldoc $(INFO_DIR)/Master.info
95 :     $(HTML_GEN) $(SRC_DIR)/cml-lib.mldoc
96 :    
97 :     $(HTML_DIR)/multicast.html: $(SRC_DIR)/lib/multicast.mldoc $(INFO_DIR)/Master.info
98 :     $(HTML_GEN) $(SRC_DIR)/lib/multicast.mldoc
99 :    
100 :     $(HTML_DIR)/trace-cml.html: $(SRC_DIR)/lib/trace-cml.mldoc $(INFO_DIR)/Master.info
101 :     $(HTML_GEN) $(SRC_DIR)/lib/trace-cml.mldoc
102 :    
103 :     $(HTML_DIR)/index-all.html: $(INFO_DIR)/Master.info
104 :     $(HTML_INDEX) -all
105 :    
106 :     $(INFO_DIR)/Master.info: $(INFO_FILES)
107 :     $(MERGE_INFO) $(INFO_FILES)
108 :    
109 :     $(INFO_DIR)/refman.info: $(SRC_DIR)/refman.mldoc CATALOG
110 :     $(EXTRACT_INFO) $(SRC_DIR)/refman.mldoc
111 :    
112 :     $(INFO_DIR)/basics.info: $(SRC_DIR)/basics.mldoc CATALOG
113 :     $(EXTRACT_INFO) $(SRC_DIR)/basics.mldoc
114 :    
115 :     $(INFO_DIR)/porting.info: $(SRC_DIR)/porting.mldoc CATALOG
116 :     $(EXTRACT_INFO) $(SRC_DIR)/porting.mldoc
117 :    
118 :     $(INFO_DIR)/core-cml.info: $(SRC_DIR)/core-cml.mldoc CATALOG
119 :     $(EXTRACT_INFO) $(SRC_DIR)/core-cml.mldoc
120 :    
121 :     $(INFO_DIR)/cml.info: $(SRC_DIR)/cml.mldoc CATALOG
122 :     $(EXTRACT_INFO) $(SRC_DIR)/cml.mldoc
123 :    
124 :     $(INFO_DIR)/mailbox.info: $(SRC_DIR)/mailbox.mldoc CATALOG
125 :     $(EXTRACT_INFO) $(SRC_DIR)/mailbox.mldoc
126 :    
127 :     $(INFO_DIR)/sync-var.info: $(SRC_DIR)/sync-var.mldoc CATALOG
128 :     $(EXTRACT_INFO) $(SRC_DIR)/sync-var.mldoc
129 :    
130 :     $(INFO_DIR)/os.info: $(SRC_DIR)/os.mldoc CATALOG
131 :     $(EXTRACT_INFO) $(SRC_DIR)/os.mldoc
132 :    
133 :     $(INFO_DIR)/os-process.info: $(SRC_DIR)/os-process.mldoc CATALOG
134 :     $(EXTRACT_INFO) $(SRC_DIR)/os-process.mldoc
135 :    
136 :     $(INFO_DIR)/os-io.info: $(SRC_DIR)/os-io.mldoc CATALOG
137 :     $(EXTRACT_INFO) $(SRC_DIR)/os-io.mldoc
138 :    
139 :     $(INFO_DIR)/cml-lib.info: $(SRC_DIR)/cml-lib.mldoc CATALOG
140 :     $(EXTRACT_INFO) $(SRC_DIR)/cml-lib.mldoc
141 :    
142 :     $(INFO_DIR)/multicast.info: $(SRC_DIR)/lib/multicast.mldoc CATALOG
143 :     $(EXTRACT_INFO) $(SRC_DIR)/lib/multicast.mldoc
144 :    
145 :     $(INFO_DIR)/trace-cml.info: $(SRC_DIR)/lib/trace-cml.mldoc CATALOG
146 :     $(EXTRACT_INFO) $(SRC_DIR)/lib/trace-cml.mldoc
147 :    
148 :     Proof: $(ProofFiles)
149 :    
150 :     $(PROOF_DIR)/refman.tex: $(SRC_DIR)/refman.mldoc CATALOG
151 :     $(PROOF) $(SRC_DIR)/refman.mldoc
152 :    
153 :     $(PROOF_DIR)/basics.tex: $(SRC_DIR)/basics.mldoc CATALOG
154 :     $(PROOF) $(SRC_DIR)/basics.mldoc
155 :    
156 :     $(PROOF_DIR)/porting.tex: $(SRC_DIR)/porting.mldoc CATALOG
157 :     $(PROOF) $(SRC_DIR)/porting.mldoc
158 :    
159 :     $(PROOF_DIR)/core-cml.tex: $(SRC_DIR)/core-cml.mldoc CATALOG
160 :     $(PROOF) $(SRC_DIR)/core-cml.mldoc
161 :    
162 :     $(PROOF_DIR)/cml.tex: $(SRC_DIR)/cml.mldoc CATALOG
163 :     $(PROOF) $(SRC_DIR)/cml.mldoc
164 :    
165 :     $(PROOF_DIR)/mailbox.tex: $(SRC_DIR)/mailbox.mldoc CATALOG
166 :     $(PROOF) $(SRC_DIR)/mailbox.mldoc
167 :    
168 :     $(PROOF_DIR)/sync-var.tex: $(SRC_DIR)/sync-var.mldoc CATALOG
169 :     $(PROOF) $(SRC_DIR)/sync-var.mldoc
170 :    
171 :     $(PROOF_DIR)/os.tex: $(SRC_DIR)/os.mldoc CATALOG
172 :     $(PROOF) $(SRC_DIR)/os.mldoc
173 :    
174 :     $(PROOF_DIR)/os-process.tex: $(SRC_DIR)/os-process.mldoc CATALOG
175 :     $(PROOF) $(SRC_DIR)/os-process.mldoc
176 :    
177 :     $(PROOF_DIR)/os-io.tex: $(SRC_DIR)/os-io.mldoc CATALOG
178 :     $(PROOF) $(SRC_DIR)/os-io.mldoc
179 :    
180 :     $(PROOF_DIR)/cml-lib.tex: $(SRC_DIR)/cml-lib.mldoc CATALOG
181 :     $(PROOF) $(SRC_DIR)/cml-lib.mldoc
182 :    
183 :     $(PROOF_DIR)/multicast.tex: $(SRC_DIR)/lib/multicast.mldoc CATALOG
184 :     $(PROOF) $(SRC_DIR)/lib/multicast.mldoc
185 :    
186 :     $(PROOF_DIR)/trace-cml.tex: $(SRC_DIR)/lib/trace-cml.mldoc CATALOG
187 :     $(PROOF) $(SRC_DIR)/lib/trace-cml.mldoc
188 :    
189 :     clean:
190 :     rm -f $(PROOF_FILES)
191 :     rm -f $(INFO_DIR)/Master.info $(INFO_FILES)
192 :     rm -f $(HTML_FILES)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0