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 /smlnj-lib/trunk/Doc/Makefile
ViewVC logotype

Annotation of /smlnj-lib/trunk/Doc/Makefile

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2534 - (view) (download)

1 : monnier 411 # Generated makefile
2 :     #
3 :    
4 : jhr 2534 MLDOC_BIN = /Users/jhr/bin
5 : monnier 411
6 : jhr 2534 EXTRACT_INFO = $(MLDOC_BIN)/extract-info
7 :     HTML_GEN = $(MLDOC_BIN)/html-gen
8 :     HTML_INDEX = $(MLDOC_BIN)/html-index
9 :     HTML_TOC = $(MLDOC_BIN)/html-toc
10 :     LATEX_GEN = $(MLDOC_BIN)/latex-gen
11 :     MERGE_INFO = $(MLDOC_BIN)/merge-info
12 :     PROOF_LATEX = $(MLDOC_BIN)/proof-latex
13 :     RUN_LATEX = $(MLDOC_BIN)/run-latex
14 :     DVIPS = dvips
15 : monnier 411
16 :     SRC_DIR = ML-Doc
17 :     INFO_DIR = Info
18 :     HTML_DIR = HTML
19 : jhr 2534 LATEX_DIR = Hardcopy
20 :     PROOF_DIR = Proof
21 : monnier 411
22 :     CONFIG = Config.cfg CATALOG
23 : jhr 2534 HTML_INFO = $(CONFIG) $(INFO_DIR)/HTML.info
24 :     LATEX_INFO = $(CONFIG) $(INFO_DIR)/LaTeX.info
25 : monnier 411
26 : jhr 2534 HTML_INFO_FILES = $(INFO_DIR)/HashCons/hash-cons.info \
27 :     $(INFO_DIR)/intro-part.info \
28 :     $(INFO_DIR)/RegExp/engine-sig.info \
29 :     $(INFO_DIR)/RegExp/match-tree.info \
30 :     $(INFO_DIR)/RegExp/parser-sig.info \
31 :     $(INFO_DIR)/RegExp/regexp-fn.info \
32 :     $(INFO_DIR)/RegExp/regexp-intro.info \
33 :     $(INFO_DIR)/RegExp/regexp-lib-part.info \
34 :     $(INFO_DIR)/RegExp/regexp-sig.info \
35 :     $(INFO_DIR)/RegExp/syntax.info \
36 :     $(INFO_DIR)/smlnj-lib.info \
37 :     $(INFO_DIR)/Util/array-qsort-fn.info \
38 :     $(INFO_DIR)/Util/array-qsort.info \
39 :     $(INFO_DIR)/Util/array-sort.info \
40 :     $(INFO_DIR)/Util/atom.info \
41 :     $(INFO_DIR)/Util/binary-map-fn.info \
42 :     $(INFO_DIR)/Util/binary-set-fn.info \
43 :     $(INFO_DIR)/Util/bit-array.info \
44 :     $(INFO_DIR)/Util/bit-vector.info \
45 :     $(INFO_DIR)/Util/bsearch.info \
46 :     $(INFO_DIR)/Util/char-map.info \
47 :     $(INFO_DIR)/Util/dynamic-array.info \
48 :     $(INFO_DIR)/Util/fifo.info \
49 :     $(INFO_DIR)/Util/iterate.info \
50 :     $(INFO_DIR)/Util/lib-base.info \
51 :     $(INFO_DIR)/Util/list-format.info \
52 :     $(INFO_DIR)/Util/list-map-fn.info \
53 :     $(INFO_DIR)/Util/list-set-fn.info \
54 :     $(INFO_DIR)/Util/list-xprod.info \
55 :     $(INFO_DIR)/Util/listsort.info \
56 :     $(INFO_DIR)/Util/mono-array-sort.info \
57 :     $(INFO_DIR)/Util/mono-dynamic-array.info \
58 :     $(INFO_DIR)/Util/ord-key.info \
59 :     $(INFO_DIR)/Util/ord-map.info \
60 :     $(INFO_DIR)/Util/ord-set.info \
61 :     $(INFO_DIR)/Util/queue.info \
62 :     $(INFO_DIR)/Util/rand.info \
63 :     $(INFO_DIR)/Util/random.info \
64 :     $(INFO_DIR)/Util/splay-map-fn.info \
65 :     $(INFO_DIR)/Util/splay-set-fn.info \
66 :     $(INFO_DIR)/Util/splaytree.info \
67 :     $(INFO_DIR)/Util/uref.info \
68 :     $(INFO_DIR)/Util/util-lib-part.info
69 :    
70 :     LATEX_INFO_FILES = $(INFO_DIR)/HashCons/hash-cons.info \
71 :     $(INFO_DIR)/intro-part.info \
72 :     $(INFO_DIR)/RegExp/engine-sig.info \
73 :     $(INFO_DIR)/RegExp/match-tree.info \
74 :     $(INFO_DIR)/RegExp/parser-sig.info \
75 :     $(INFO_DIR)/RegExp/regexp-fn.info \
76 :     $(INFO_DIR)/RegExp/regexp-intro.info \
77 :     $(INFO_DIR)/RegExp/regexp-lib-part.info \
78 :     $(INFO_DIR)/RegExp/regexp-sig.info \
79 :     $(INFO_DIR)/RegExp/syntax.info \
80 :     $(INFO_DIR)/smlnj-lib.info \
81 :     $(INFO_DIR)/Util/array-qsort-fn.info \
82 :     $(INFO_DIR)/Util/array-qsort.info \
83 :     $(INFO_DIR)/Util/array-sort.info \
84 :     $(INFO_DIR)/Util/atom.info \
85 :     $(INFO_DIR)/Util/binary-map-fn.info \
86 :     $(INFO_DIR)/Util/binary-set-fn.info \
87 :     $(INFO_DIR)/Util/bit-array.info \
88 :     $(INFO_DIR)/Util/bit-vector.info \
89 :     $(INFO_DIR)/Util/bsearch.info \
90 :     $(INFO_DIR)/Util/char-map.info \
91 :     $(INFO_DIR)/Util/dynamic-array.info \
92 :     $(INFO_DIR)/Util/fifo.info \
93 :     $(INFO_DIR)/Util/iterate.info \
94 :     $(INFO_DIR)/Util/lib-base.info \
95 :     $(INFO_DIR)/Util/list-format.info \
96 :     $(INFO_DIR)/Util/list-map-fn.info \
97 :     $(INFO_DIR)/Util/list-set-fn.info \
98 :     $(INFO_DIR)/Util/list-xprod.info \
99 :     $(INFO_DIR)/Util/listsort.info \
100 :     $(INFO_DIR)/Util/mono-array-sort.info \
101 :     $(INFO_DIR)/Util/mono-dynamic-array.info \
102 :     $(INFO_DIR)/Util/ord-key.info \
103 :     $(INFO_DIR)/Util/ord-map.info \
104 :     $(INFO_DIR)/Util/ord-set.info \
105 :     $(INFO_DIR)/Util/queue.info \
106 :     $(INFO_DIR)/Util/rand.info \
107 :     $(INFO_DIR)/Util/random.info \
108 :     $(INFO_DIR)/Util/splay-map-fn.info \
109 :     $(INFO_DIR)/Util/splay-set-fn.info \
110 :     $(INFO_DIR)/Util/splaytree.info \
111 :     $(INFO_DIR)/Util/uref.info \
112 :     $(INFO_DIR)/Util/util-lib-part.info
113 :    
114 : monnier 411 HTML_FILES = $(HTML_DIR)/index-all.html \
115 :     $(HTML_DIR)/toc.html \
116 : jhr 2534 $(HTML_DIR)/HashCons/hash-cons.html \
117 : monnier 411 $(HTML_DIR)/intro-part.html \
118 : jhr 2534 $(HTML_DIR)/RegExp/engine-sig.html \
119 :     $(HTML_DIR)/RegExp/match-tree.html \
120 :     $(HTML_DIR)/RegExp/parser-sig.html \
121 :     $(HTML_DIR)/RegExp/regexp-fn.html \
122 :     $(HTML_DIR)/RegExp/regexp-intro.html \
123 :     $(HTML_DIR)/RegExp/regexp-lib-part.html \
124 :     $(HTML_DIR)/RegExp/regexp-sig.html \
125 :     $(HTML_DIR)/RegExp/syntax.html \
126 : monnier 411 $(HTML_DIR)/smlnj-lib.html \
127 : jhr 2534 $(HTML_DIR)/Util/array-qsort-fn.html \
128 :     $(HTML_DIR)/Util/array-qsort.html \
129 :     $(HTML_DIR)/Util/array-sort.html \
130 :     $(HTML_DIR)/Util/atom.html \
131 :     $(HTML_DIR)/Util/binary-map-fn.html \
132 :     $(HTML_DIR)/Util/binary-set-fn.html \
133 :     $(HTML_DIR)/Util/bit-array.html \
134 :     $(HTML_DIR)/Util/bit-vector.html \
135 :     $(HTML_DIR)/Util/bsearch.html \
136 :     $(HTML_DIR)/Util/char-map.html \
137 :     $(HTML_DIR)/Util/dynamic-array.html \
138 :     $(HTML_DIR)/Util/fifo.html \
139 :     $(HTML_DIR)/Util/iterate.html \
140 :     $(HTML_DIR)/Util/lib-base.html \
141 :     $(HTML_DIR)/Util/list-format.html \
142 :     $(HTML_DIR)/Util/list-map-fn.html \
143 :     $(HTML_DIR)/Util/list-set-fn.html \
144 :     $(HTML_DIR)/Util/list-xprod.html \
145 :     $(HTML_DIR)/Util/listsort.html \
146 :     $(HTML_DIR)/Util/mono-array-sort.html \
147 :     $(HTML_DIR)/Util/mono-dynamic-array.html \
148 :     $(HTML_DIR)/Util/ord-key.html \
149 :     $(HTML_DIR)/Util/ord-map.html \
150 :     $(HTML_DIR)/Util/ord-set.html \
151 :     $(HTML_DIR)/Util/queue.html \
152 :     $(HTML_DIR)/Util/rand.html \
153 :     $(HTML_DIR)/Util/random.html \
154 :     $(HTML_DIR)/Util/splay-map-fn.html \
155 :     $(HTML_DIR)/Util/splay-set-fn.html \
156 :     $(HTML_DIR)/Util/splaytree.html \
157 :     $(HTML_DIR)/Util/uref.html \
158 :     $(HTML_DIR)/Util/util-lib-part.html
159 : monnier 411
160 : jhr 2534 LATEX_FILES = $(LATEX_DIR)/HashCons/hash-cons.tex \
161 :     $(LATEX_DIR)/intro-part.tex \
162 :     $(LATEX_DIR)/RegExp/engine-sig.tex \
163 :     $(LATEX_DIR)/RegExp/match-tree.tex \
164 :     $(LATEX_DIR)/RegExp/parser-sig.tex \
165 :     $(LATEX_DIR)/RegExp/regexp-fn.tex \
166 :     $(LATEX_DIR)/RegExp/regexp-intro.tex \
167 :     $(LATEX_DIR)/RegExp/regexp-lib-part.tex \
168 :     $(LATEX_DIR)/RegExp/regexp-sig.tex \
169 :     $(LATEX_DIR)/RegExp/syntax.tex \
170 :     $(LATEX_DIR)/smlnj-lib.tex \
171 :     $(LATEX_DIR)/Util/array-qsort-fn.tex \
172 :     $(LATEX_DIR)/Util/array-qsort.tex \
173 :     $(LATEX_DIR)/Util/array-sort.tex \
174 :     $(LATEX_DIR)/Util/atom.tex \
175 :     $(LATEX_DIR)/Util/binary-map-fn.tex \
176 :     $(LATEX_DIR)/Util/binary-set-fn.tex \
177 :     $(LATEX_DIR)/Util/bit-array.tex \
178 :     $(LATEX_DIR)/Util/bit-vector.tex \
179 :     $(LATEX_DIR)/Util/bsearch.tex \
180 :     $(LATEX_DIR)/Util/char-map.tex \
181 :     $(LATEX_DIR)/Util/dynamic-array.tex \
182 :     $(LATEX_DIR)/Util/fifo.tex \
183 :     $(LATEX_DIR)/Util/iterate.tex \
184 :     $(LATEX_DIR)/Util/lib-base.tex \
185 :     $(LATEX_DIR)/Util/list-format.tex \
186 :     $(LATEX_DIR)/Util/list-map-fn.tex \
187 :     $(LATEX_DIR)/Util/list-set-fn.tex \
188 :     $(LATEX_DIR)/Util/list-xprod.tex \
189 :     $(LATEX_DIR)/Util/listsort.tex \
190 :     $(LATEX_DIR)/Util/mono-array-sort.tex \
191 :     $(LATEX_DIR)/Util/mono-dynamic-array.tex \
192 :     $(LATEX_DIR)/Util/ord-key.tex \
193 :     $(LATEX_DIR)/Util/ord-map.tex \
194 :     $(LATEX_DIR)/Util/ord-set.tex \
195 :     $(LATEX_DIR)/Util/queue.tex \
196 :     $(LATEX_DIR)/Util/rand.tex \
197 :     $(LATEX_DIR)/Util/random.tex \
198 :     $(LATEX_DIR)/Util/splay-map-fn.tex \
199 :     $(LATEX_DIR)/Util/splay-set-fn.tex \
200 :     $(LATEX_DIR)/Util/splaytree.tex \
201 :     $(LATEX_DIR)/Util/uref.tex \
202 :     $(LATEX_DIR)/Util/util-lib-part.tex
203 : monnier 411
204 : jhr 2534 PROOF_FILES = $(PROOF_DIR)/HashCons/hash-cons.tex \
205 : monnier 411 $(PROOF_DIR)/intro-part.tex \
206 : jhr 2534 $(PROOF_DIR)/RegExp/engine-sig.tex \
207 :     $(PROOF_DIR)/RegExp/match-tree.tex \
208 :     $(PROOF_DIR)/RegExp/parser-sig.tex \
209 :     $(PROOF_DIR)/RegExp/regexp-fn.tex \
210 :     $(PROOF_DIR)/RegExp/regexp-intro.tex \
211 :     $(PROOF_DIR)/RegExp/regexp-lib-part.tex \
212 :     $(PROOF_DIR)/RegExp/regexp-sig.tex \
213 :     $(PROOF_DIR)/RegExp/syntax.tex \
214 : monnier 411 $(PROOF_DIR)/smlnj-lib.tex \
215 : jhr 2534 $(PROOF_DIR)/Util/array-qsort-fn.tex \
216 :     $(PROOF_DIR)/Util/array-qsort.tex \
217 :     $(PROOF_DIR)/Util/array-sort.tex \
218 :     $(PROOF_DIR)/Util/atom.tex \
219 :     $(PROOF_DIR)/Util/binary-map-fn.tex \
220 :     $(PROOF_DIR)/Util/binary-set-fn.tex \
221 :     $(PROOF_DIR)/Util/bit-array.tex \
222 :     $(PROOF_DIR)/Util/bit-vector.tex \
223 :     $(PROOF_DIR)/Util/bsearch.tex \
224 :     $(PROOF_DIR)/Util/char-map.tex \
225 :     $(PROOF_DIR)/Util/dynamic-array.tex \
226 :     $(PROOF_DIR)/Util/fifo.tex \
227 :     $(PROOF_DIR)/Util/iterate.tex \
228 :     $(PROOF_DIR)/Util/lib-base.tex \
229 :     $(PROOF_DIR)/Util/list-format.tex \
230 :     $(PROOF_DIR)/Util/list-map-fn.tex \
231 :     $(PROOF_DIR)/Util/list-set-fn.tex \
232 :     $(PROOF_DIR)/Util/list-xprod.tex \
233 :     $(PROOF_DIR)/Util/listsort.tex \
234 :     $(PROOF_DIR)/Util/mono-array-sort.tex \
235 :     $(PROOF_DIR)/Util/mono-dynamic-array.tex \
236 :     $(PROOF_DIR)/Util/ord-key.tex \
237 :     $(PROOF_DIR)/Util/ord-map.tex \
238 :     $(PROOF_DIR)/Util/ord-set.tex \
239 :     $(PROOF_DIR)/Util/queue.tex \
240 :     $(PROOF_DIR)/Util/rand.tex \
241 :     $(PROOF_DIR)/Util/random.tex \
242 :     $(PROOF_DIR)/Util/splay-map-fn.tex \
243 :     $(PROOF_DIR)/Util/splay-set-fn.tex \
244 :     $(PROOF_DIR)/Util/splaytree.tex \
245 :     $(PROOF_DIR)/Util/uref.tex \
246 :     $(PROOF_DIR)/Util/util-lib-part.tex
247 : monnier 411
248 :     HTML: $(HTML_FILES)
249 :    
250 : jhr 2534 $(HTML_DIR)/toc.html: $(HTML_INFO) toc.template
251 : monnier 411 $(HTML_TOC)
252 :    
253 : jhr 2534 $(HTML_DIR)/index-all.html: $(HTML_INFO) index.template
254 : monnier 411 $(HTML_INDEX) -all
255 :    
256 : jhr 2534 $(HTML_DIR)/HashCons/hash-cons.html: $(SRC_DIR)/HashCons/hash-cons.mldoc $(HTML_INFO) page.template
257 :     $(HTML_GEN) $(SRC_DIR)/HashCons/hash-cons.mldoc
258 : monnier 411
259 : jhr 2534 $(HTML_DIR)/intro-part.html: $(SRC_DIR)/intro-part.mldoc $(HTML_INFO) page.template
260 :     $(HTML_GEN) $(SRC_DIR)/intro-part.mldoc
261 : monnier 411
262 : jhr 2534 $(HTML_DIR)/RegExp/engine-sig.html: $(SRC_DIR)/RegExp/engine-sig.mldoc $(HTML_INFO) page.template
263 :     $(HTML_GEN) $(SRC_DIR)/RegExp/engine-sig.mldoc
264 : monnier 411
265 : jhr 2534 $(HTML_DIR)/RegExp/match-tree.html: $(SRC_DIR)/RegExp/match-tree.mldoc $(HTML_INFO) page.template
266 :     $(HTML_GEN) $(SRC_DIR)/RegExp/match-tree.mldoc
267 : monnier 411
268 : jhr 2534 $(HTML_DIR)/RegExp/parser-sig.html: $(SRC_DIR)/RegExp/parser-sig.mldoc $(HTML_INFO) page.template
269 :     $(HTML_GEN) $(SRC_DIR)/RegExp/parser-sig.mldoc
270 : monnier 411
271 : jhr 2534 $(HTML_DIR)/RegExp/regexp-fn.html: $(SRC_DIR)/RegExp/regexp-fn.mldoc $(HTML_INFO) page.template
272 :     $(HTML_GEN) $(SRC_DIR)/RegExp/regexp-fn.mldoc
273 : monnier 411
274 : jhr 2534 $(HTML_DIR)/RegExp/regexp-intro.html: $(SRC_DIR)/RegExp/regexp-intro.mldoc $(HTML_INFO) page.template
275 :     $(HTML_GEN) $(SRC_DIR)/RegExp/regexp-intro.mldoc
276 : monnier 411
277 : jhr 2534 $(HTML_DIR)/RegExp/regexp-lib-part.html: $(SRC_DIR)/RegExp/regexp-lib-part.mldoc $(HTML_INFO) page.template
278 :     $(HTML_GEN) $(SRC_DIR)/RegExp/regexp-lib-part.mldoc
279 : monnier 411
280 : jhr 2534 $(HTML_DIR)/RegExp/regexp-sig.html: $(SRC_DIR)/RegExp/regexp-sig.mldoc $(HTML_INFO) page.template
281 :     $(HTML_GEN) $(SRC_DIR)/RegExp/regexp-sig.mldoc
282 : monnier 411
283 : jhr 2534 $(HTML_DIR)/RegExp/syntax.html: $(SRC_DIR)/RegExp/syntax.mldoc $(HTML_INFO) page.template
284 :     $(HTML_GEN) $(SRC_DIR)/RegExp/syntax.mldoc
285 : monnier 411
286 : jhr 2534 $(HTML_DIR)/smlnj-lib.html: $(SRC_DIR)/smlnj-lib.mldoc $(HTML_INFO) page.template
287 :     $(HTML_GEN) $(SRC_DIR)/smlnj-lib.mldoc
288 : monnier 411
289 : jhr 2534 $(HTML_DIR)/Util/array-qsort-fn.html: $(SRC_DIR)/Util/array-qsort-fn.mldoc $(HTML_INFO) page.template
290 :     $(HTML_GEN) $(SRC_DIR)/Util/array-qsort-fn.mldoc
291 : monnier 411
292 : jhr 2534 $(HTML_DIR)/Util/array-qsort.html: $(SRC_DIR)/Util/array-qsort.mldoc $(HTML_INFO) page.template
293 :     $(HTML_GEN) $(SRC_DIR)/Util/array-qsort.mldoc
294 : monnier 411
295 : jhr 2534 $(HTML_DIR)/Util/array-sort.html: $(SRC_DIR)/Util/array-sort.mldoc $(HTML_INFO) page.template
296 :     $(HTML_GEN) $(SRC_DIR)/Util/array-sort.mldoc
297 : monnier 411
298 : jhr 2534 $(HTML_DIR)/Util/atom.html: $(SRC_DIR)/Util/atom.mldoc $(HTML_INFO) page.template
299 :     $(HTML_GEN) $(SRC_DIR)/Util/atom.mldoc
300 : monnier 411
301 : jhr 2534 $(HTML_DIR)/Util/binary-map-fn.html: $(SRC_DIR)/Util/binary-map-fn.mldoc $(HTML_INFO) page.template
302 :     $(HTML_GEN) $(SRC_DIR)/Util/binary-map-fn.mldoc
303 : monnier 411
304 : jhr 2534 $(HTML_DIR)/Util/binary-set-fn.html: $(SRC_DIR)/Util/binary-set-fn.mldoc $(HTML_INFO) page.template
305 :     $(HTML_GEN) $(SRC_DIR)/Util/binary-set-fn.mldoc
306 : monnier 411
307 : jhr 2534 $(HTML_DIR)/Util/bit-array.html: $(SRC_DIR)/Util/bit-array.mldoc $(HTML_INFO) page.template
308 :     $(HTML_GEN) $(SRC_DIR)/Util/bit-array.mldoc
309 : monnier 411
310 : jhr 2534 $(HTML_DIR)/Util/bit-vector.html: $(SRC_DIR)/Util/bit-vector.mldoc $(HTML_INFO) page.template
311 :     $(HTML_GEN) $(SRC_DIR)/Util/bit-vector.mldoc
312 : monnier 411
313 : jhr 2534 $(HTML_DIR)/Util/bsearch.html: $(SRC_DIR)/Util/bsearch.mldoc $(HTML_INFO) page.template
314 :     $(HTML_GEN) $(SRC_DIR)/Util/bsearch.mldoc
315 : monnier 411
316 : jhr 2534 $(HTML_DIR)/Util/char-map.html: $(SRC_DIR)/Util/char-map.mldoc $(HTML_INFO) page.template
317 :     $(HTML_GEN) $(SRC_DIR)/Util/char-map.mldoc
318 : monnier 411
319 : jhr 2534 $(HTML_DIR)/Util/dynamic-array.html: $(SRC_DIR)/Util/dynamic-array.mldoc $(HTML_INFO) page.template
320 :     $(HTML_GEN) $(SRC_DIR)/Util/dynamic-array.mldoc
321 : monnier 411
322 : jhr 2534 $(HTML_DIR)/Util/fifo.html: $(SRC_DIR)/Util/fifo.mldoc $(HTML_INFO) page.template
323 :     $(HTML_GEN) $(SRC_DIR)/Util/fifo.mldoc
324 : monnier 411
325 : jhr 2534 $(HTML_DIR)/Util/iterate.html: $(SRC_DIR)/Util/iterate.mldoc $(HTML_INFO) page.template
326 :     $(HTML_GEN) $(SRC_DIR)/Util/iterate.mldoc
327 : monnier 411
328 : jhr 2534 $(HTML_DIR)/Util/lib-base.html: $(SRC_DIR)/Util/lib-base.mldoc $(HTML_INFO) page.template
329 :     $(HTML_GEN) $(SRC_DIR)/Util/lib-base.mldoc
330 : monnier 411
331 : jhr 2534 $(HTML_DIR)/Util/list-format.html: $(SRC_DIR)/Util/list-format.mldoc $(HTML_INFO) page.template
332 :     $(HTML_GEN) $(SRC_DIR)/Util/list-format.mldoc
333 : monnier 411
334 : jhr 2534 $(HTML_DIR)/Util/list-map-fn.html: $(SRC_DIR)/Util/list-map-fn.mldoc $(HTML_INFO) page.template
335 :     $(HTML_GEN) $(SRC_DIR)/Util/list-map-fn.mldoc
336 : monnier 411
337 : jhr 2534 $(HTML_DIR)/Util/list-set-fn.html: $(SRC_DIR)/Util/list-set-fn.mldoc $(HTML_INFO) page.template
338 :     $(HTML_GEN) $(SRC_DIR)/Util/list-set-fn.mldoc
339 : monnier 411
340 : jhr 2534 $(HTML_DIR)/Util/list-xprod.html: $(SRC_DIR)/Util/list-xprod.mldoc $(HTML_INFO) page.template
341 :     $(HTML_GEN) $(SRC_DIR)/Util/list-xprod.mldoc
342 : monnier 411
343 : jhr 2534 $(HTML_DIR)/Util/listsort.html: $(SRC_DIR)/Util/listsort.mldoc $(HTML_INFO) page.template
344 :     $(HTML_GEN) $(SRC_DIR)/Util/listsort.mldoc
345 : monnier 411
346 : jhr 2534 $(HTML_DIR)/Util/mono-array-sort.html: $(SRC_DIR)/Util/mono-array-sort.mldoc $(HTML_INFO) page.template
347 :     $(HTML_GEN) $(SRC_DIR)/Util/mono-array-sort.mldoc
348 : monnier 411
349 : jhr 2534 $(HTML_DIR)/Util/mono-dynamic-array.html: $(SRC_DIR)/Util/mono-dynamic-array.mldoc $(HTML_INFO) page.template
350 :     $(HTML_GEN) $(SRC_DIR)/Util/mono-dynamic-array.mldoc
351 : monnier 411
352 : jhr 2534 $(HTML_DIR)/Util/ord-key.html: $(SRC_DIR)/Util/ord-key.mldoc $(HTML_INFO) page.template
353 :     $(HTML_GEN) $(SRC_DIR)/Util/ord-key.mldoc
354 : monnier 411
355 : jhr 2534 $(HTML_DIR)/Util/ord-map.html: $(SRC_DIR)/Util/ord-map.mldoc $(HTML_INFO) page.template
356 :     $(HTML_GEN) $(SRC_DIR)/Util/ord-map.mldoc
357 : monnier 411
358 : jhr 2534 $(HTML_DIR)/Util/ord-set.html: $(SRC_DIR)/Util/ord-set.mldoc $(HTML_INFO) page.template
359 :     $(HTML_GEN) $(SRC_DIR)/Util/ord-set.mldoc
360 : monnier 411
361 : jhr 2534 $(HTML_DIR)/Util/queue.html: $(SRC_DIR)/Util/queue.mldoc $(HTML_INFO) page.template
362 :     $(HTML_GEN) $(SRC_DIR)/Util/queue.mldoc
363 : monnier 411
364 : jhr 2534 $(HTML_DIR)/Util/rand.html: $(SRC_DIR)/Util/rand.mldoc $(HTML_INFO) page.template
365 :     $(HTML_GEN) $(SRC_DIR)/Util/rand.mldoc
366 : monnier 411
367 : jhr 2534 $(HTML_DIR)/Util/random.html: $(SRC_DIR)/Util/random.mldoc $(HTML_INFO) page.template
368 :     $(HTML_GEN) $(SRC_DIR)/Util/random.mldoc
369 : monnier 411
370 : jhr 2534 $(HTML_DIR)/Util/splay-map-fn.html: $(SRC_DIR)/Util/splay-map-fn.mldoc $(HTML_INFO) page.template
371 :     $(HTML_GEN) $(SRC_DIR)/Util/splay-map-fn.mldoc
372 : monnier 411
373 : jhr 2534 $(HTML_DIR)/Util/splay-set-fn.html: $(SRC_DIR)/Util/splay-set-fn.mldoc $(HTML_INFO) page.template
374 :     $(HTML_GEN) $(SRC_DIR)/Util/splay-set-fn.mldoc
375 : monnier 411
376 : jhr 2534 $(HTML_DIR)/Util/splaytree.html: $(SRC_DIR)/Util/splaytree.mldoc $(HTML_INFO) page.template
377 :     $(HTML_GEN) $(SRC_DIR)/Util/splaytree.mldoc
378 : monnier 411
379 : jhr 2534 $(HTML_DIR)/Util/uref.html: $(SRC_DIR)/Util/uref.mldoc $(HTML_INFO) page.template
380 :     $(HTML_GEN) $(SRC_DIR)/Util/uref.mldoc
381 : monnier 411
382 : jhr 2534 $(HTML_DIR)/Util/util-lib-part.html: $(SRC_DIR)/Util/util-lib-part.mldoc $(HTML_INFO) page.template
383 :     $(HTML_GEN) $(SRC_DIR)/Util/util-lib-part.mldoc
384 : monnier 411
385 : jhr 2534 $(INFO_DIR)/HTML.info: $(HTML_INFO_FILES)
386 :     $(MERGE_INFO) -o $(INFO_DIR)/HTML.info $(HTML_INFO_FILES)
387 : monnier 411
388 : jhr 2534 $(INFO_DIR)/LaTeX.info: $(LATEX_INFO_FILES)
389 :     $(MERGE_INFO) -o $(INFO_DIR)/LaTeX.info $(LATEX_INFO_FILES)
390 : monnier 411
391 : jhr 2534 $(INFO_DIR)/HashCons/hash-cons.info: $(SRC_DIR)/HashCons/hash-cons.mldoc $(CONFIG)
392 :     $(EXTRACT_INFO) $(SRC_DIR)/HashCons/hash-cons.mldoc
393 : monnier 411
394 : jhr 2534 $(INFO_DIR)/intro-part.info: $(SRC_DIR)/intro-part.mldoc $(CONFIG)
395 :     $(EXTRACT_INFO) $(SRC_DIR)/intro-part.mldoc
396 : monnier 411
397 : jhr 2534 $(INFO_DIR)/RegExp/engine-sig.info: $(SRC_DIR)/RegExp/engine-sig.mldoc $(CONFIG)
398 :     $(EXTRACT_INFO) $(SRC_DIR)/RegExp/engine-sig.mldoc
399 : monnier 411
400 : jhr 2534 $(INFO_DIR)/RegExp/match-tree.info: $(SRC_DIR)/RegExp/match-tree.mldoc $(CONFIG)
401 :     $(EXTRACT_INFO) $(SRC_DIR)/RegExp/match-tree.mldoc
402 : monnier 411
403 : jhr 2534 $(INFO_DIR)/RegExp/parser-sig.info: $(SRC_DIR)/RegExp/parser-sig.mldoc $(CONFIG)
404 :     $(EXTRACT_INFO) $(SRC_DIR)/RegExp/parser-sig.mldoc
405 : monnier 411
406 : jhr 2534 $(INFO_DIR)/RegExp/regexp-fn.info: $(SRC_DIR)/RegExp/regexp-fn.mldoc $(CONFIG)
407 :     $(EXTRACT_INFO) $(SRC_DIR)/RegExp/regexp-fn.mldoc
408 : monnier 411
409 : jhr 2534 $(INFO_DIR)/RegExp/regexp-intro.info: $(SRC_DIR)/RegExp/regexp-intro.mldoc $(CONFIG)
410 :     $(EXTRACT_INFO) $(SRC_DIR)/RegExp/regexp-intro.mldoc
411 : monnier 411
412 : jhr 2534 $(INFO_DIR)/RegExp/regexp-lib-part.info: $(SRC_DIR)/RegExp/regexp-lib-part.mldoc $(CONFIG)
413 :     $(EXTRACT_INFO) $(SRC_DIR)/RegExp/regexp-lib-part.mldoc
414 : monnier 411
415 : jhr 2534 $(INFO_DIR)/RegExp/regexp-sig.info: $(SRC_DIR)/RegExp/regexp-sig.mldoc $(CONFIG)
416 :     $(EXTRACT_INFO) $(SRC_DIR)/RegExp/regexp-sig.mldoc
417 : monnier 411
418 : jhr 2534 $(INFO_DIR)/RegExp/syntax.info: $(SRC_DIR)/RegExp/syntax.mldoc $(CONFIG)
419 :     $(EXTRACT_INFO) $(SRC_DIR)/RegExp/syntax.mldoc
420 : monnier 411
421 : jhr 2534 $(INFO_DIR)/smlnj-lib.info: $(SRC_DIR)/smlnj-lib.mldoc $(CONFIG)
422 :     $(EXTRACT_INFO) $(SRC_DIR)/smlnj-lib.mldoc
423 : monnier 411
424 : jhr 2534 $(INFO_DIR)/Util/array-qsort-fn.info: $(SRC_DIR)/Util/array-qsort-fn.mldoc $(CONFIG)
425 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/array-qsort-fn.mldoc
426 : monnier 411
427 : jhr 2534 $(INFO_DIR)/Util/array-qsort.info: $(SRC_DIR)/Util/array-qsort.mldoc $(CONFIG)
428 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/array-qsort.mldoc
429 : monnier 411
430 : jhr 2534 $(INFO_DIR)/Util/array-sort.info: $(SRC_DIR)/Util/array-sort.mldoc $(CONFIG)
431 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/array-sort.mldoc
432 : monnier 411
433 : jhr 2534 $(INFO_DIR)/Util/atom.info: $(SRC_DIR)/Util/atom.mldoc $(CONFIG)
434 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/atom.mldoc
435 : monnier 411
436 : jhr 2534 $(INFO_DIR)/Util/binary-map-fn.info: $(SRC_DIR)/Util/binary-map-fn.mldoc $(CONFIG)
437 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/binary-map-fn.mldoc
438 : monnier 411
439 : jhr 2534 $(INFO_DIR)/Util/binary-set-fn.info: $(SRC_DIR)/Util/binary-set-fn.mldoc $(CONFIG)
440 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/binary-set-fn.mldoc
441 : monnier 411
442 : jhr 2534 $(INFO_DIR)/Util/bit-array.info: $(SRC_DIR)/Util/bit-array.mldoc $(CONFIG)
443 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/bit-array.mldoc
444 : monnier 411
445 : jhr 2534 $(INFO_DIR)/Util/bit-vector.info: $(SRC_DIR)/Util/bit-vector.mldoc $(CONFIG)
446 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/bit-vector.mldoc
447 : monnier 411
448 : jhr 2534 $(INFO_DIR)/Util/bsearch.info: $(SRC_DIR)/Util/bsearch.mldoc $(CONFIG)
449 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/bsearch.mldoc
450 : monnier 411
451 : jhr 2534 $(INFO_DIR)/Util/char-map.info: $(SRC_DIR)/Util/char-map.mldoc $(CONFIG)
452 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/char-map.mldoc
453 : monnier 411
454 : jhr 2534 $(INFO_DIR)/Util/dynamic-array.info: $(SRC_DIR)/Util/dynamic-array.mldoc $(CONFIG)
455 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/dynamic-array.mldoc
456 : monnier 411
457 : jhr 2534 $(INFO_DIR)/Util/fifo.info: $(SRC_DIR)/Util/fifo.mldoc $(CONFIG)
458 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/fifo.mldoc
459 : monnier 411
460 : jhr 2534 $(INFO_DIR)/Util/iterate.info: $(SRC_DIR)/Util/iterate.mldoc $(CONFIG)
461 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/iterate.mldoc
462 : monnier 411
463 : jhr 2534 $(INFO_DIR)/Util/lib-base.info: $(SRC_DIR)/Util/lib-base.mldoc $(CONFIG)
464 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/lib-base.mldoc
465 : monnier 411
466 : jhr 2534 $(INFO_DIR)/Util/list-format.info: $(SRC_DIR)/Util/list-format.mldoc $(CONFIG)
467 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/list-format.mldoc
468 : monnier 411
469 : jhr 2534 $(INFO_DIR)/Util/list-map-fn.info: $(SRC_DIR)/Util/list-map-fn.mldoc $(CONFIG)
470 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/list-map-fn.mldoc
471 : monnier 411
472 : jhr 2534 $(INFO_DIR)/Util/list-set-fn.info: $(SRC_DIR)/Util/list-set-fn.mldoc $(CONFIG)
473 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/list-set-fn.mldoc
474 : monnier 411
475 : jhr 2534 $(INFO_DIR)/Util/list-xprod.info: $(SRC_DIR)/Util/list-xprod.mldoc $(CONFIG)
476 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/list-xprod.mldoc
477 : monnier 411
478 : jhr 2534 $(INFO_DIR)/Util/listsort.info: $(SRC_DIR)/Util/listsort.mldoc $(CONFIG)
479 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/listsort.mldoc
480 : monnier 411
481 : jhr 2534 $(INFO_DIR)/Util/mono-array-sort.info: $(SRC_DIR)/Util/mono-array-sort.mldoc $(CONFIG)
482 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/mono-array-sort.mldoc
483 : monnier 411
484 : jhr 2534 $(INFO_DIR)/Util/mono-dynamic-array.info: $(SRC_DIR)/Util/mono-dynamic-array.mldoc $(CONFIG)
485 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/mono-dynamic-array.mldoc
486 : monnier 411
487 : jhr 2534 $(INFO_DIR)/Util/ord-key.info: $(SRC_DIR)/Util/ord-key.mldoc $(CONFIG)
488 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/ord-key.mldoc
489 : monnier 411
490 : jhr 2534 $(INFO_DIR)/Util/ord-map.info: $(SRC_DIR)/Util/ord-map.mldoc $(CONFIG)
491 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/ord-map.mldoc
492 : monnier 411
493 : jhr 2534 $(INFO_DIR)/Util/ord-set.info: $(SRC_DIR)/Util/ord-set.mldoc $(CONFIG)
494 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/ord-set.mldoc
495 : monnier 411
496 : jhr 2534 $(INFO_DIR)/Util/queue.info: $(SRC_DIR)/Util/queue.mldoc $(CONFIG)
497 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/queue.mldoc
498 : monnier 411
499 : jhr 2534 $(INFO_DIR)/Util/rand.info: $(SRC_DIR)/Util/rand.mldoc $(CONFIG)
500 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/rand.mldoc
501 :    
502 :     $(INFO_DIR)/Util/random.info: $(SRC_DIR)/Util/random.mldoc $(CONFIG)
503 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/random.mldoc
504 :    
505 :     $(INFO_DIR)/Util/splay-map-fn.info: $(SRC_DIR)/Util/splay-map-fn.mldoc $(CONFIG)
506 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/splay-map-fn.mldoc
507 :    
508 :     $(INFO_DIR)/Util/splay-set-fn.info: $(SRC_DIR)/Util/splay-set-fn.mldoc $(CONFIG)
509 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/splay-set-fn.mldoc
510 :    
511 :     $(INFO_DIR)/Util/splaytree.info: $(SRC_DIR)/Util/splaytree.mldoc $(CONFIG)
512 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/splaytree.mldoc
513 :    
514 :     $(INFO_DIR)/Util/uref.info: $(SRC_DIR)/Util/uref.mldoc $(CONFIG)
515 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/uref.mldoc
516 :    
517 :     $(INFO_DIR)/Util/util-lib-part.info: $(SRC_DIR)/Util/util-lib-part.mldoc $(CONFIG)
518 :     $(EXTRACT_INFO) $(SRC_DIR)/Util/util-lib-part.mldoc
519 :    
520 :     Hardcopy: $(LATEX_FILES)
521 :    
522 :     $(LATEX_DIR)/HashCons/hash-cons.tex: $(SRC_DIR)/HashCons/hash-cons.mldoc $(LATEX_INFO)
523 :     $(LATEX_GEN) $(SRC_DIR)/HashCons/hash-cons.mldoc
524 :    
525 :     $(LATEX_DIR)/intro-part.tex: $(SRC_DIR)/intro-part.mldoc $(LATEX_INFO)
526 :     $(LATEX_GEN) $(SRC_DIR)/intro-part.mldoc
527 :    
528 :     $(LATEX_DIR)/RegExp/engine-sig.tex: $(SRC_DIR)/RegExp/engine-sig.mldoc $(LATEX_INFO)
529 :     $(LATEX_GEN) $(SRC_DIR)/RegExp/engine-sig.mldoc
530 :    
531 :     $(LATEX_DIR)/RegExp/match-tree.tex: $(SRC_DIR)/RegExp/match-tree.mldoc $(LATEX_INFO)
532 :     $(LATEX_GEN) $(SRC_DIR)/RegExp/match-tree.mldoc
533 :    
534 :     $(LATEX_DIR)/RegExp/parser-sig.tex: $(SRC_DIR)/RegExp/parser-sig.mldoc $(LATEX_INFO)
535 :     $(LATEX_GEN) $(SRC_DIR)/RegExp/parser-sig.mldoc
536 :    
537 :     $(LATEX_DIR)/RegExp/regexp-fn.tex: $(SRC_DIR)/RegExp/regexp-fn.mldoc $(LATEX_INFO)
538 :     $(LATEX_GEN) $(SRC_DIR)/RegExp/regexp-fn.mldoc
539 :    
540 :     $(LATEX_DIR)/RegExp/regexp-intro.tex: $(SRC_DIR)/RegExp/regexp-intro.mldoc $(LATEX_INFO)
541 :     $(LATEX_GEN) $(SRC_DIR)/RegExp/regexp-intro.mldoc
542 :    
543 :     $(LATEX_DIR)/RegExp/regexp-lib-part.tex: $(SRC_DIR)/RegExp/regexp-lib-part.mldoc $(LATEX_INFO)
544 :     $(LATEX_GEN) $(SRC_DIR)/RegExp/regexp-lib-part.mldoc
545 :    
546 :     $(LATEX_DIR)/RegExp/regexp-sig.tex: $(SRC_DIR)/RegExp/regexp-sig.mldoc $(LATEX_INFO)
547 :     $(LATEX_GEN) $(SRC_DIR)/RegExp/regexp-sig.mldoc
548 :    
549 :     $(LATEX_DIR)/RegExp/syntax.tex: $(SRC_DIR)/RegExp/syntax.mldoc $(LATEX_INFO)
550 :     $(LATEX_GEN) $(SRC_DIR)/RegExp/syntax.mldoc
551 :    
552 :     $(LATEX_DIR)/smlnj-lib.tex: $(SRC_DIR)/smlnj-lib.mldoc $(LATEX_INFO)
553 :     $(LATEX_GEN) $(SRC_DIR)/smlnj-lib.mldoc
554 :    
555 :     $(LATEX_DIR)/Util/array-qsort-fn.tex: $(SRC_DIR)/Util/array-qsort-fn.mldoc $(LATEX_INFO)
556 :     $(LATEX_GEN) $(SRC_DIR)/Util/array-qsort-fn.mldoc
557 :    
558 :     $(LATEX_DIR)/Util/array-qsort.tex: $(SRC_DIR)/Util/array-qsort.mldoc $(LATEX_INFO)
559 :     $(LATEX_GEN) $(SRC_DIR)/Util/array-qsort.mldoc
560 :    
561 :     $(LATEX_DIR)/Util/array-sort.tex: $(SRC_DIR)/Util/array-sort.mldoc $(LATEX_INFO)
562 :     $(LATEX_GEN) $(SRC_DIR)/Util/array-sort.mldoc
563 :    
564 :     $(LATEX_DIR)/Util/atom.tex: $(SRC_DIR)/Util/atom.mldoc $(LATEX_INFO)
565 :     $(LATEX_GEN) $(SRC_DIR)/Util/atom.mldoc
566 :    
567 :     $(LATEX_DIR)/Util/binary-map-fn.tex: $(SRC_DIR)/Util/binary-map-fn.mldoc $(LATEX_INFO)
568 :     $(LATEX_GEN) $(SRC_DIR)/Util/binary-map-fn.mldoc
569 :    
570 :     $(LATEX_DIR)/Util/binary-set-fn.tex: $(SRC_DIR)/Util/binary-set-fn.mldoc $(LATEX_INFO)
571 :     $(LATEX_GEN) $(SRC_DIR)/Util/binary-set-fn.mldoc
572 :    
573 :     $(LATEX_DIR)/Util/bit-array.tex: $(SRC_DIR)/Util/bit-array.mldoc $(LATEX_INFO)
574 :     $(LATEX_GEN) $(SRC_DIR)/Util/bit-array.mldoc
575 :    
576 :     $(LATEX_DIR)/Util/bit-vector.tex: $(SRC_DIR)/Util/bit-vector.mldoc $(LATEX_INFO)
577 :     $(LATEX_GEN) $(SRC_DIR)/Util/bit-vector.mldoc
578 :    
579 :     $(LATEX_DIR)/Util/bsearch.tex: $(SRC_DIR)/Util/bsearch.mldoc $(LATEX_INFO)
580 :     $(LATEX_GEN) $(SRC_DIR)/Util/bsearch.mldoc
581 :    
582 :     $(LATEX_DIR)/Util/char-map.tex: $(SRC_DIR)/Util/char-map.mldoc $(LATEX_INFO)
583 :     $(LATEX_GEN) $(SRC_DIR)/Util/char-map.mldoc
584 :    
585 :     $(LATEX_DIR)/Util/dynamic-array.tex: $(SRC_DIR)/Util/dynamic-array.mldoc $(LATEX_INFO)
586 :     $(LATEX_GEN) $(SRC_DIR)/Util/dynamic-array.mldoc
587 :    
588 :     $(LATEX_DIR)/Util/fifo.tex: $(SRC_DIR)/Util/fifo.mldoc $(LATEX_INFO)
589 :     $(LATEX_GEN) $(SRC_DIR)/Util/fifo.mldoc
590 :    
591 :     $(LATEX_DIR)/Util/iterate.tex: $(SRC_DIR)/Util/iterate.mldoc $(LATEX_INFO)
592 :     $(LATEX_GEN) $(SRC_DIR)/Util/iterate.mldoc
593 :    
594 :     $(LATEX_DIR)/Util/lib-base.tex: $(SRC_DIR)/Util/lib-base.mldoc $(LATEX_INFO)
595 :     $(LATEX_GEN) $(SRC_DIR)/Util/lib-base.mldoc
596 :    
597 :     $(LATEX_DIR)/Util/list-format.tex: $(SRC_DIR)/Util/list-format.mldoc $(LATEX_INFO)
598 :     $(LATEX_GEN) $(SRC_DIR)/Util/list-format.mldoc
599 :    
600 :     $(LATEX_DIR)/Util/list-map-fn.tex: $(SRC_DIR)/Util/list-map-fn.mldoc $(LATEX_INFO)
601 :     $(LATEX_GEN) $(SRC_DIR)/Util/list-map-fn.mldoc
602 :    
603 :     $(LATEX_DIR)/Util/list-set-fn.tex: $(SRC_DIR)/Util/list-set-fn.mldoc $(LATEX_INFO)
604 :     $(LATEX_GEN) $(SRC_DIR)/Util/list-set-fn.mldoc
605 :    
606 :     $(LATEX_DIR)/Util/list-xprod.tex: $(SRC_DIR)/Util/list-xprod.mldoc $(LATEX_INFO)
607 :     $(LATEX_GEN) $(SRC_DIR)/Util/list-xprod.mldoc
608 :    
609 :     $(LATEX_DIR)/Util/listsort.tex: $(SRC_DIR)/Util/listsort.mldoc $(LATEX_INFO)
610 :     $(LATEX_GEN) $(SRC_DIR)/Util/listsort.mldoc
611 :    
612 :     $(LATEX_DIR)/Util/mono-array-sort.tex: $(SRC_DIR)/Util/mono-array-sort.mldoc $(LATEX_INFO)
613 :     $(LATEX_GEN) $(SRC_DIR)/Util/mono-array-sort.mldoc
614 :    
615 :     $(LATEX_DIR)/Util/mono-dynamic-array.tex: $(SRC_DIR)/Util/mono-dynamic-array.mldoc $(LATEX_INFO)
616 :     $(LATEX_GEN) $(SRC_DIR)/Util/mono-dynamic-array.mldoc
617 :    
618 :     $(LATEX_DIR)/Util/ord-key.tex: $(SRC_DIR)/Util/ord-key.mldoc $(LATEX_INFO)
619 :     $(LATEX_GEN) $(SRC_DIR)/Util/ord-key.mldoc
620 :    
621 :     $(LATEX_DIR)/Util/ord-map.tex: $(SRC_DIR)/Util/ord-map.mldoc $(LATEX_INFO)
622 :     $(LATEX_GEN) $(SRC_DIR)/Util/ord-map.mldoc
623 :    
624 :     $(LATEX_DIR)/Util/ord-set.tex: $(SRC_DIR)/Util/ord-set.mldoc $(LATEX_INFO)
625 :     $(LATEX_GEN) $(SRC_DIR)/Util/ord-set.mldoc
626 :    
627 :     $(LATEX_DIR)/Util/queue.tex: $(SRC_DIR)/Util/queue.mldoc $(LATEX_INFO)
628 :     $(LATEX_GEN) $(SRC_DIR)/Util/queue.mldoc
629 :    
630 :     $(LATEX_DIR)/Util/rand.tex: $(SRC_DIR)/Util/rand.mldoc $(LATEX_INFO)
631 :     $(LATEX_GEN) $(SRC_DIR)/Util/rand.mldoc
632 :    
633 :     $(LATEX_DIR)/Util/random.tex: $(SRC_DIR)/Util/random.mldoc $(LATEX_INFO)
634 :     $(LATEX_GEN) $(SRC_DIR)/Util/random.mldoc
635 :    
636 :     $(LATEX_DIR)/Util/splay-map-fn.tex: $(SRC_DIR)/Util/splay-map-fn.mldoc $(LATEX_INFO)
637 :     $(LATEX_GEN) $(SRC_DIR)/Util/splay-map-fn.mldoc
638 :    
639 :     $(LATEX_DIR)/Util/splay-set-fn.tex: $(SRC_DIR)/Util/splay-set-fn.mldoc $(LATEX_INFO)
640 :     $(LATEX_GEN) $(SRC_DIR)/Util/splay-set-fn.mldoc
641 :    
642 :     $(LATEX_DIR)/Util/splaytree.tex: $(SRC_DIR)/Util/splaytree.mldoc $(LATEX_INFO)
643 :     $(LATEX_GEN) $(SRC_DIR)/Util/splaytree.mldoc
644 :    
645 :     $(LATEX_DIR)/Util/uref.tex: $(SRC_DIR)/Util/uref.mldoc $(LATEX_INFO)
646 :     $(LATEX_GEN) $(SRC_DIR)/Util/uref.mldoc
647 :    
648 :     $(LATEX_DIR)/Util/util-lib-part.tex: $(SRC_DIR)/Util/util-lib-part.mldoc $(LATEX_INFO)
649 :     $(LATEX_GEN) $(SRC_DIR)/Util/util-lib-part.mldoc
650 :    
651 : monnier 411 Proof: $(PROOF_FILES)
652 :    
653 : jhr 2534 $(PROOF_DIR)/HashCons/hash-cons.tex: $(SRC_DIR)/HashCons/hash-cons.mldoc $(LATEX_INFO)
654 :     $(PROOF_LATEX) $(SRC_DIR)/HashCons/hash-cons.mldoc
655 : monnier 411
656 : jhr 2534 $(PROOF_DIR)/intro-part.tex: $(SRC_DIR)/intro-part.mldoc $(LATEX_INFO)
657 :     $(PROOF_LATEX) $(SRC_DIR)/intro-part.mldoc
658 : monnier 411
659 : jhr 2534 $(PROOF_DIR)/RegExp/engine-sig.tex: $(SRC_DIR)/RegExp/engine-sig.mldoc $(LATEX_INFO)
660 :     $(PROOF_LATEX) $(SRC_DIR)/RegExp/engine-sig.mldoc
661 : monnier 411
662 : jhr 2534 $(PROOF_DIR)/RegExp/match-tree.tex: $(SRC_DIR)/RegExp/match-tree.mldoc $(LATEX_INFO)
663 :     $(PROOF_LATEX) $(SRC_DIR)/RegExp/match-tree.mldoc
664 : monnier 411
665 : jhr 2534 $(PROOF_DIR)/RegExp/parser-sig.tex: $(SRC_DIR)/RegExp/parser-sig.mldoc $(LATEX_INFO)
666 :     $(PROOF_LATEX) $(SRC_DIR)/RegExp/parser-sig.mldoc
667 : monnier 411
668 : jhr 2534 $(PROOF_DIR)/RegExp/regexp-fn.tex: $(SRC_DIR)/RegExp/regexp-fn.mldoc $(LATEX_INFO)
669 :     $(PROOF_LATEX) $(SRC_DIR)/RegExp/regexp-fn.mldoc
670 : monnier 411
671 : jhr 2534 $(PROOF_DIR)/RegExp/regexp-intro.tex: $(SRC_DIR)/RegExp/regexp-intro.mldoc $(LATEX_INFO)
672 :     $(PROOF_LATEX) $(SRC_DIR)/RegExp/regexp-intro.mldoc
673 : monnier 411
674 : jhr 2534 $(PROOF_DIR)/RegExp/regexp-lib-part.tex: $(SRC_DIR)/RegExp/regexp-lib-part.mldoc $(LATEX_INFO)
675 :     $(PROOF_LATEX) $(SRC_DIR)/RegExp/regexp-lib-part.mldoc
676 : monnier 411
677 : jhr 2534 $(PROOF_DIR)/RegExp/regexp-sig.tex: $(SRC_DIR)/RegExp/regexp-sig.mldoc $(LATEX_INFO)
678 :     $(PROOF_LATEX) $(SRC_DIR)/RegExp/regexp-sig.mldoc
679 : monnier 411
680 : jhr 2534 $(PROOF_DIR)/RegExp/syntax.tex: $(SRC_DIR)/RegExp/syntax.mldoc $(LATEX_INFO)
681 :     $(PROOF_LATEX) $(SRC_DIR)/RegExp/syntax.mldoc
682 : monnier 411
683 : jhr 2534 $(PROOF_DIR)/smlnj-lib.tex: $(SRC_DIR)/smlnj-lib.mldoc $(LATEX_INFO)
684 :     $(PROOF_LATEX) $(SRC_DIR)/smlnj-lib.mldoc
685 : monnier 411
686 : jhr 2534 $(PROOF_DIR)/Util/array-qsort-fn.tex: $(SRC_DIR)/Util/array-qsort-fn.mldoc $(LATEX_INFO)
687 :     $(PROOF_LATEX) $(SRC_DIR)/Util/array-qsort-fn.mldoc
688 : monnier 411
689 : jhr 2534 $(PROOF_DIR)/Util/array-qsort.tex: $(SRC_DIR)/Util/array-qsort.mldoc $(LATEX_INFO)
690 :     $(PROOF_LATEX) $(SRC_DIR)/Util/array-qsort.mldoc
691 : monnier 411
692 : jhr 2534 $(PROOF_DIR)/Util/array-sort.tex: $(SRC_DIR)/Util/array-sort.mldoc $(LATEX_INFO)
693 :     $(PROOF_LATEX) $(SRC_DIR)/Util/array-sort.mldoc
694 : monnier 411
695 : jhr 2534 $(PROOF_DIR)/Util/atom.tex: $(SRC_DIR)/Util/atom.mldoc $(LATEX_INFO)
696 :     $(PROOF_LATEX) $(SRC_DIR)/Util/atom.mldoc
697 : monnier 411
698 : jhr 2534 $(PROOF_DIR)/Util/binary-map-fn.tex: $(SRC_DIR)/Util/binary-map-fn.mldoc $(LATEX_INFO)
699 :     $(PROOF_LATEX) $(SRC_DIR)/Util/binary-map-fn.mldoc
700 : monnier 411
701 : jhr 2534 $(PROOF_DIR)/Util/binary-set-fn.tex: $(SRC_DIR)/Util/binary-set-fn.mldoc $(LATEX_INFO)
702 :     $(PROOF_LATEX) $(SRC_DIR)/Util/binary-set-fn.mldoc
703 : monnier 411
704 : jhr 2534 $(PROOF_DIR)/Util/bit-array.tex: $(SRC_DIR)/Util/bit-array.mldoc $(LATEX_INFO)
705 :     $(PROOF_LATEX) $(SRC_DIR)/Util/bit-array.mldoc
706 : monnier 411
707 : jhr 2534 $(PROOF_DIR)/Util/bit-vector.tex: $(SRC_DIR)/Util/bit-vector.mldoc $(LATEX_INFO)
708 :     $(PROOF_LATEX) $(SRC_DIR)/Util/bit-vector.mldoc
709 : monnier 411
710 : jhr 2534 $(PROOF_DIR)/Util/bsearch.tex: $(SRC_DIR)/Util/bsearch.mldoc $(LATEX_INFO)
711 :     $(PROOF_LATEX) $(SRC_DIR)/Util/bsearch.mldoc
712 : monnier 411
713 : jhr 2534 $(PROOF_DIR)/Util/char-map.tex: $(SRC_DIR)/Util/char-map.mldoc $(LATEX_INFO)
714 :     $(PROOF_LATEX) $(SRC_DIR)/Util/char-map.mldoc
715 : monnier 411
716 : jhr 2534 $(PROOF_DIR)/Util/dynamic-array.tex: $(SRC_DIR)/Util/dynamic-array.mldoc $(LATEX_INFO)
717 :     $(PROOF_LATEX) $(SRC_DIR)/Util/dynamic-array.mldoc
718 : monnier 411
719 : jhr 2534 $(PROOF_DIR)/Util/fifo.tex: $(SRC_DIR)/Util/fifo.mldoc $(LATEX_INFO)
720 :     $(PROOF_LATEX) $(SRC_DIR)/Util/fifo.mldoc
721 : monnier 411
722 : jhr 2534 $(PROOF_DIR)/Util/iterate.tex: $(SRC_DIR)/Util/iterate.mldoc $(LATEX_INFO)
723 :     $(PROOF_LATEX) $(SRC_DIR)/Util/iterate.mldoc
724 : monnier 411
725 : jhr 2534 $(PROOF_DIR)/Util/lib-base.tex: $(SRC_DIR)/Util/lib-base.mldoc $(LATEX_INFO)
726 :     $(PROOF_LATEX) $(SRC_DIR)/Util/lib-base.mldoc
727 : monnier 411
728 : jhr 2534 $(PROOF_DIR)/Util/list-format.tex: $(SRC_DIR)/Util/list-format.mldoc $(LATEX_INFO)
729 :     $(PROOF_LATEX) $(SRC_DIR)/Util/list-format.mldoc
730 : monnier 411
731 : jhr 2534 $(PROOF_DIR)/Util/list-map-fn.tex: $(SRC_DIR)/Util/list-map-fn.mldoc $(LATEX_INFO)
732 :     $(PROOF_LATEX) $(SRC_DIR)/Util/list-map-fn.mldoc
733 : monnier 411
734 : jhr 2534 $(PROOF_DIR)/Util/list-set-fn.tex: $(SRC_DIR)/Util/list-set-fn.mldoc $(LATEX_INFO)
735 :     $(PROOF_LATEX) $(SRC_DIR)/Util/list-set-fn.mldoc
736 : monnier 411
737 : jhr 2534 $(PROOF_DIR)/Util/list-xprod.tex: $(SRC_DIR)/Util/list-xprod.mldoc $(LATEX_INFO)
738 :     $(PROOF_LATEX) $(SRC_DIR)/Util/list-xprod.mldoc
739 : monnier 411
740 : jhr 2534 $(PROOF_DIR)/Util/listsort.tex: $(SRC_DIR)/Util/listsort.mldoc $(LATEX_INFO)
741 :     $(PROOF_LATEX) $(SRC_DIR)/Util/listsort.mldoc
742 : monnier 411
743 : jhr 2534 $(PROOF_DIR)/Util/mono-array-sort.tex: $(SRC_DIR)/Util/mono-array-sort.mldoc $(LATEX_INFO)
744 :     $(PROOF_LATEX) $(SRC_DIR)/Util/mono-array-sort.mldoc
745 : monnier 411
746 : jhr 2534 $(PROOF_DIR)/Util/mono-dynamic-array.tex: $(SRC_DIR)/Util/mono-dynamic-array.mldoc $(LATEX_INFO)
747 :     $(PROOF_LATEX) $(SRC_DIR)/Util/mono-dynamic-array.mldoc
748 : monnier 411
749 : jhr 2534 $(PROOF_DIR)/Util/ord-key.tex: $(SRC_DIR)/Util/ord-key.mldoc $(LATEX_INFO)
750 :     $(PROOF_LATEX) $(SRC_DIR)/Util/ord-key.mldoc
751 : monnier 411
752 : jhr 2534 $(PROOF_DIR)/Util/ord-map.tex: $(SRC_DIR)/Util/ord-map.mldoc $(LATEX_INFO)
753 :     $(PROOF_LATEX) $(SRC_DIR)/Util/ord-map.mldoc
754 : monnier 411
755 : jhr 2534 $(PROOF_DIR)/Util/ord-set.tex: $(SRC_DIR)/Util/ord-set.mldoc $(LATEX_INFO)
756 :     $(PROOF_LATEX) $(SRC_DIR)/Util/ord-set.mldoc
757 : monnier 411
758 : jhr 2534 $(PROOF_DIR)/Util/queue.tex: $(SRC_DIR)/Util/queue.mldoc $(LATEX_INFO)
759 :     $(PROOF_LATEX) $(SRC_DIR)/Util/queue.mldoc
760 : monnier 411
761 : jhr 2534 $(PROOF_DIR)/Util/rand.tex: $(SRC_DIR)/Util/rand.mldoc $(LATEX_INFO)
762 :     $(PROOF_LATEX) $(SRC_DIR)/Util/rand.mldoc
763 : monnier 411
764 : jhr 2534 $(PROOF_DIR)/Util/random.tex: $(SRC_DIR)/Util/random.mldoc $(LATEX_INFO)
765 :     $(PROOF_LATEX) $(SRC_DIR)/Util/random.mldoc
766 : monnier 411
767 : jhr 2534 $(PROOF_DIR)/Util/splay-map-fn.tex: $(SRC_DIR)/Util/splay-map-fn.mldoc $(LATEX_INFO)
768 :     $(PROOF_LATEX) $(SRC_DIR)/Util/splay-map-fn.mldoc
769 : monnier 411
770 : jhr 2534 $(PROOF_DIR)/Util/splay-set-fn.tex: $(SRC_DIR)/Util/splay-set-fn.mldoc $(LATEX_INFO)
771 :     $(PROOF_LATEX) $(SRC_DIR)/Util/splay-set-fn.mldoc
772 : monnier 411
773 : jhr 2534 $(PROOF_DIR)/Util/splaytree.tex: $(SRC_DIR)/Util/splaytree.mldoc $(LATEX_INFO)
774 :     $(PROOF_LATEX) $(SRC_DIR)/Util/splaytree.mldoc
775 :    
776 :     $(PROOF_DIR)/Util/uref.tex: $(SRC_DIR)/Util/uref.mldoc $(LATEX_INFO)
777 :     $(PROOF_LATEX) $(SRC_DIR)/Util/uref.mldoc
778 :    
779 :     $(PROOF_DIR)/Util/util-lib-part.tex: $(SRC_DIR)/Util/util-lib-part.mldoc $(LATEX_INFO)
780 :     $(PROOF_LATEX) $(SRC_DIR)/Util/util-lib-part.mldoc
781 :    
782 : monnier 411 clean-info:
783 : jhr 2534 rm -f $(INFO_DIR)/*.info
784 : monnier 411
785 : jhr 2534 clean-latex:
786 :     rm -f $(LATEX_FILES)
787 :     rm -f $(LATEX_DIR)/*.aux
788 :     rm -f $(LATEX_DIR)/*.bbl
789 :     rm -f $(LATEX_DIR)/*.blg
790 :     rm -f $(LATEX_DIR)/*.dvi
791 :     rm -f $(LATEX_DIR)/*.idx
792 :     rm -f $(LATEX_DIR)/*.ilg
793 :     rm -f $(LATEX_DIR)/*.ind
794 :     rm -f $(LATEX_DIR)/*.rnd
795 :     rm -f $(LATEX_DIR)/*.nnd
796 :     rm -f $(LATEX_DIR)/*.log
797 :     rm -f $(LATEX_DIR)/*.ps
798 :     rm -f $(LATEX_DIR)/*.pdf
799 :     rm -f $(LATEX_DIR)/*.toc
800 :    
801 : monnier 411 clean-proof:
802 :     rm -f $(PROOF_FILES)
803 :     rm -f $(PROOF_DIR)/*.aux
804 :     rm -f $(PROOF_DIR)/*.bbl
805 :     rm -f $(PROOF_DIR)/*.blg
806 :     rm -f $(PROOF_DIR)/*.dvi
807 :     rm -f $(PROOF_DIR)/*.idx
808 : jhr 2534 rm -f $(PROOF_DIR)/*.ilg
809 : monnier 411 rm -f $(PROOF_DIR)/*.ind
810 : jhr 2534 rm -f $(PROOF_DIR)/*.rnd
811 :     rm -f $(PROOF_DIR)/*.nnd
812 : monnier 411 rm -f $(PROOF_DIR)/*.log
813 :     rm -f $(PROOF_DIR)/*.ps
814 : jhr 2534 rm -f $(PROOF_DIR)/*.pdf
815 : monnier 411 rm -f $(PROOF_DIR)/*.toc
816 :    
817 :     clean-html:
818 :     rm -f $(HTML_FILES)
819 :    
820 : jhr 2534 clean: clean-html clean-info clean-latex clean-proof
821 : monnier 411

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