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

SCM Repository

[smlnj] Diff of /smlnj-lib/trunk/Doc/Makefile
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2533, Thu May 10 13:54:09 2007 UTC revision 2534, Thu May 10 14:08:22 2007 UTC
# Line 1  Line 1 
1  # Generated makefile  # Generated makefile
2  #  #
3    
4  MLDOC_BIN = /n/stew/home/jhr/SGML/ML-Doc/bin  MLDOC_BIN = /Users/jhr/bin
5    
6  PROOF = $(MLDOC_BIN)/proof.sh  EXTRACT_INFO = $(MLDOC_BIN)/extract-info
7  EXTRACT_INFO = $(MLDOC_BIN)/extract-info.sh  HTML_GEN = $(MLDOC_BIN)/html-gen
8  MERGE_INFO = $(MLDOC_BIN)/merge-info.sh  HTML_INDEX = $(MLDOC_BIN)/html-index
9  HTML_GEN = $(MLDOC_BIN)/html-gen.sh  HTML_TOC = $(MLDOC_BIN)/html-toc
10  HTML_INDEX = $(MLDOC_BIN)/html-index.sh  LATEX_GEN = $(MLDOC_BIN)/latex-gen
11  HTML_TOC = $(MLDOC_BIN)/html-toc.sh  MERGE_INFO = $(MLDOC_BIN)/merge-info
12    PROOF_LATEX = $(MLDOC_BIN)/proof-latex
13    RUN_LATEX = $(MLDOC_BIN)/run-latex
14    DVIPS = dvips
15    
16  SRC_DIR = ML-Doc  SRC_DIR = ML-Doc
 PROOF_DIR = Proof  
17  INFO_DIR = Info  INFO_DIR = Info
18  HTML_DIR = HTML  HTML_DIR = HTML
19    LATEX_DIR = Hardcopy
20    PROOF_DIR = Proof
21    
22  CONFIG = Config.cfg CATALOG  CONFIG = Config.cfg CATALOG
23  INFO = $(CONFIG) $(INFO_DIR)/Master.info  HTML_INFO = $(CONFIG) $(INFO_DIR)/HTML.info
24    LATEX_INFO = $(CONFIG) $(INFO_DIR)/LaTeX.info
25    
26    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  HTML_FILES =    $(HTML_DIR)/index-all.html \  HTML_FILES =    $(HTML_DIR)/index-all.html \
115          $(HTML_DIR)/toc.html \          $(HTML_DIR)/toc.html \
116          $(HTML_DIR)/array-qsort-fn.html \          $(HTML_DIR)/HashCons/hash-cons.html \
         $(HTML_DIR)/array-qsort.html \  
         $(HTML_DIR)/array-sort.html \  
         $(HTML_DIR)/binary-map-fn.html \  
         $(HTML_DIR)/binary-set-fn.html \  
         $(HTML_DIR)/bit-array.html \  
         $(HTML_DIR)/bit-vector.html \  
         $(HTML_DIR)/bsearch.html \  
         $(HTML_DIR)/char-map.html \  
         $(HTML_DIR)/dynamic-array.html \  
         $(HTML_DIR)/engine-sig.html \  
         $(HTML_DIR)/fifo.html \  
117          $(HTML_DIR)/intro-part.html \          $(HTML_DIR)/intro-part.html \
118          $(HTML_DIR)/iterate.html \          $(HTML_DIR)/RegExp/engine-sig.html \
119          $(HTML_DIR)/lib-base.html \          $(HTML_DIR)/RegExp/match-tree.html \
120          $(HTML_DIR)/list-format.html \          $(HTML_DIR)/RegExp/parser-sig.html \
121          $(HTML_DIR)/list-map-fn.html \          $(HTML_DIR)/RegExp/regexp-fn.html \
122          $(HTML_DIR)/list-set-fn.html \          $(HTML_DIR)/RegExp/regexp-intro.html \
123          $(HTML_DIR)/list-xprod.html \          $(HTML_DIR)/RegExp/regexp-lib-part.html \
124          $(HTML_DIR)/listsort.html \          $(HTML_DIR)/RegExp/regexp-sig.html \
125          $(HTML_DIR)/match-tree.html \          $(HTML_DIR)/RegExp/syntax.html \
         $(HTML_DIR)/mono-array-sort.html \  
         $(HTML_DIR)/mono-dynamic-array.html \  
         $(HTML_DIR)/ord-key.html \  
         $(HTML_DIR)/ord-map.html \  
         $(HTML_DIR)/ord-set.html \  
         $(HTML_DIR)/parser-sig.html \  
         $(HTML_DIR)/queue.html \  
         $(HTML_DIR)/rand.html \  
         $(HTML_DIR)/random.html \  
         $(HTML_DIR)/regexp-fn.html \  
         $(HTML_DIR)/regexp-intro.html \  
         $(HTML_DIR)/regexp-lib-part.html \  
         $(HTML_DIR)/regexp-sig.html \  
126          $(HTML_DIR)/smlnj-lib.html \          $(HTML_DIR)/smlnj-lib.html \
127          $(HTML_DIR)/splay-map-fn.html \          $(HTML_DIR)/Util/array-qsort-fn.html \
128          $(HTML_DIR)/splay-set-fn.html \          $(HTML_DIR)/Util/array-qsort.html \
129          $(HTML_DIR)/splaytree.html \          $(HTML_DIR)/Util/array-sort.html \
130          $(HTML_DIR)/syntax.html \          $(HTML_DIR)/Util/atom.html \
131          $(HTML_DIR)/util-lib-part.html          $(HTML_DIR)/Util/binary-map-fn.html \
132            $(HTML_DIR)/Util/binary-set-fn.html \
133  INFO_FILES =    $(INFO_DIR)/array-qsort-fn.info \          $(HTML_DIR)/Util/bit-array.html \
134          $(INFO_DIR)/array-qsort.info \          $(HTML_DIR)/Util/bit-vector.html \
135          $(INFO_DIR)/array-sort.info \          $(HTML_DIR)/Util/bsearch.html \
136          $(INFO_DIR)/binary-map-fn.info \          $(HTML_DIR)/Util/char-map.html \
137          $(INFO_DIR)/binary-set-fn.info \          $(HTML_DIR)/Util/dynamic-array.html \
138          $(INFO_DIR)/bit-array.info \          $(HTML_DIR)/Util/fifo.html \
139          $(INFO_DIR)/bit-vector.info \          $(HTML_DIR)/Util/iterate.html \
140          $(INFO_DIR)/bsearch.info \          $(HTML_DIR)/Util/lib-base.html \
141          $(INFO_DIR)/char-map.info \          $(HTML_DIR)/Util/list-format.html \
142          $(INFO_DIR)/dynamic-array.info \          $(HTML_DIR)/Util/list-map-fn.html \
143          $(INFO_DIR)/engine-sig.info \          $(HTML_DIR)/Util/list-set-fn.html \
144          $(INFO_DIR)/fifo.info \          $(HTML_DIR)/Util/list-xprod.html \
145          $(INFO_DIR)/intro-part.info \          $(HTML_DIR)/Util/listsort.html \
146          $(INFO_DIR)/iterate.info \          $(HTML_DIR)/Util/mono-array-sort.html \
147          $(INFO_DIR)/lib-base.info \          $(HTML_DIR)/Util/mono-dynamic-array.html \
148          $(INFO_DIR)/list-format.info \          $(HTML_DIR)/Util/ord-key.html \
149          $(INFO_DIR)/list-map-fn.info \          $(HTML_DIR)/Util/ord-map.html \
150          $(INFO_DIR)/list-set-fn.info \          $(HTML_DIR)/Util/ord-set.html \
151          $(INFO_DIR)/list-xprod.info \          $(HTML_DIR)/Util/queue.html \
152          $(INFO_DIR)/listsort.info \          $(HTML_DIR)/Util/rand.html \
153          $(INFO_DIR)/match-tree.info \          $(HTML_DIR)/Util/random.html \
154          $(INFO_DIR)/mono-array-sort.info \          $(HTML_DIR)/Util/splay-map-fn.html \
155          $(INFO_DIR)/mono-dynamic-array.info \          $(HTML_DIR)/Util/splay-set-fn.html \
156          $(INFO_DIR)/ord-key.info \          $(HTML_DIR)/Util/splaytree.html \
157          $(INFO_DIR)/ord-map.info \          $(HTML_DIR)/Util/uref.html \
158          $(INFO_DIR)/ord-set.info \          $(HTML_DIR)/Util/util-lib-part.html
159          $(INFO_DIR)/parser-sig.info \  
160          $(INFO_DIR)/queue.info \  LATEX_FILES =   $(LATEX_DIR)/HashCons/hash-cons.tex \
161          $(INFO_DIR)/rand.info \          $(LATEX_DIR)/intro-part.tex \
162          $(INFO_DIR)/random.info \          $(LATEX_DIR)/RegExp/engine-sig.tex \
163          $(INFO_DIR)/regexp-fn.info \          $(LATEX_DIR)/RegExp/match-tree.tex \
164          $(INFO_DIR)/regexp-intro.info \          $(LATEX_DIR)/RegExp/parser-sig.tex \
165          $(INFO_DIR)/regexp-lib-part.info \          $(LATEX_DIR)/RegExp/regexp-fn.tex \
166          $(INFO_DIR)/regexp-sig.info \          $(LATEX_DIR)/RegExp/regexp-intro.tex \
167          $(INFO_DIR)/smlnj-lib.info \          $(LATEX_DIR)/RegExp/regexp-lib-part.tex \
168          $(INFO_DIR)/splay-map-fn.info \          $(LATEX_DIR)/RegExp/regexp-sig.tex \
169          $(INFO_DIR)/splay-set-fn.info \          $(LATEX_DIR)/RegExp/syntax.tex \
170          $(INFO_DIR)/splaytree.info \          $(LATEX_DIR)/smlnj-lib.tex \
171          $(INFO_DIR)/syntax.info \          $(LATEX_DIR)/Util/array-qsort-fn.tex \
172          $(INFO_DIR)/util-lib-part.info          $(LATEX_DIR)/Util/array-qsort.tex \
173            $(LATEX_DIR)/Util/array-sort.tex \
174  PROOF_FILES =   $(PROOF_DIR)/array-qsort-fn.tex \          $(LATEX_DIR)/Util/atom.tex \
175          $(PROOF_DIR)/array-qsort.tex \          $(LATEX_DIR)/Util/binary-map-fn.tex \
176          $(PROOF_DIR)/array-sort.tex \          $(LATEX_DIR)/Util/binary-set-fn.tex \
177          $(PROOF_DIR)/binary-map-fn.tex \          $(LATEX_DIR)/Util/bit-array.tex \
178          $(PROOF_DIR)/binary-set-fn.tex \          $(LATEX_DIR)/Util/bit-vector.tex \
179          $(PROOF_DIR)/bit-array.tex \          $(LATEX_DIR)/Util/bsearch.tex \
180          $(PROOF_DIR)/bit-vector.tex \          $(LATEX_DIR)/Util/char-map.tex \
181          $(PROOF_DIR)/bsearch.tex \          $(LATEX_DIR)/Util/dynamic-array.tex \
182          $(PROOF_DIR)/char-map.tex \          $(LATEX_DIR)/Util/fifo.tex \
183          $(PROOF_DIR)/dynamic-array.tex \          $(LATEX_DIR)/Util/iterate.tex \
184          $(PROOF_DIR)/engine-sig.tex \          $(LATEX_DIR)/Util/lib-base.tex \
185          $(PROOF_DIR)/fifo.tex \          $(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    
204    PROOF_FILES =   $(PROOF_DIR)/HashCons/hash-cons.tex \
205          $(PROOF_DIR)/intro-part.tex \          $(PROOF_DIR)/intro-part.tex \
206          $(PROOF_DIR)/iterate.tex \          $(PROOF_DIR)/RegExp/engine-sig.tex \
207          $(PROOF_DIR)/lib-base.tex \          $(PROOF_DIR)/RegExp/match-tree.tex \
208          $(PROOF_DIR)/list-format.tex \          $(PROOF_DIR)/RegExp/parser-sig.tex \
209          $(PROOF_DIR)/list-map-fn.tex \          $(PROOF_DIR)/RegExp/regexp-fn.tex \
210          $(PROOF_DIR)/list-set-fn.tex \          $(PROOF_DIR)/RegExp/regexp-intro.tex \
211          $(PROOF_DIR)/list-xprod.tex \          $(PROOF_DIR)/RegExp/regexp-lib-part.tex \
212          $(PROOF_DIR)/listsort.tex \          $(PROOF_DIR)/RegExp/regexp-sig.tex \
213          $(PROOF_DIR)/match-tree.tex \          $(PROOF_DIR)/RegExp/syntax.tex \
         $(PROOF_DIR)/mono-array-sort.tex \  
         $(PROOF_DIR)/mono-dynamic-array.tex \  
         $(PROOF_DIR)/ord-key.tex \  
         $(PROOF_DIR)/ord-map.tex \  
         $(PROOF_DIR)/ord-set.tex \  
         $(PROOF_DIR)/parser-sig.tex \  
         $(PROOF_DIR)/queue.tex \  
         $(PROOF_DIR)/rand.tex \  
         $(PROOF_DIR)/random.tex \  
         $(PROOF_DIR)/regexp-fn.tex \  
         $(PROOF_DIR)/regexp-intro.tex \  
         $(PROOF_DIR)/regexp-lib-part.tex \  
         $(PROOF_DIR)/regexp-sig.tex \  
214          $(PROOF_DIR)/smlnj-lib.tex \          $(PROOF_DIR)/smlnj-lib.tex \
215          $(PROOF_DIR)/splay-map-fn.tex \          $(PROOF_DIR)/Util/array-qsort-fn.tex \
216          $(PROOF_DIR)/splay-set-fn.tex \          $(PROOF_DIR)/Util/array-qsort.tex \
217          $(PROOF_DIR)/splaytree.tex \          $(PROOF_DIR)/Util/array-sort.tex \
218          $(PROOF_DIR)/syntax.tex \          $(PROOF_DIR)/Util/atom.tex \
219          $(PROOF_DIR)/util-lib-part.tex          $(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    
248  HTML:   $(HTML_FILES)  HTML:   $(HTML_FILES)
249    
250  $(HTML_DIR)/toc.html:   $(INFO)  $(HTML_DIR)/toc.html:   $(HTML_INFO) toc.template
251          $(HTML_TOC)          $(HTML_TOC)
252    
253  $(HTML_DIR)/index-all.html:     $(INFO)  $(HTML_DIR)/index-all.html:     $(HTML_INFO) index.template
254          $(HTML_INDEX) -all          $(HTML_INDEX) -all
255    
256  $(HTML_DIR)/array-qsort-fn.html:        $(SRC_DIR)/array-qsort-fn.mldoc $(INFO)  $(HTML_DIR)/HashCons/hash-cons.html:    $(SRC_DIR)/HashCons/hash-cons.mldoc $(HTML_INFO) page.template
257          $(HTML_GEN) $(SRC_DIR)/array-qsort-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/HashCons/hash-cons.mldoc
258    
259  $(HTML_DIR)/array-qsort.html:   $(SRC_DIR)/array-qsort.mldoc $(INFO)  $(HTML_DIR)/intro-part.html:    $(SRC_DIR)/intro-part.mldoc $(HTML_INFO) page.template
260          $(HTML_GEN) $(SRC_DIR)/array-qsort.mldoc          $(HTML_GEN) $(SRC_DIR)/intro-part.mldoc
261    
262  $(HTML_DIR)/array-sort.html:    $(SRC_DIR)/array-sort.mldoc $(INFO)  $(HTML_DIR)/RegExp/engine-sig.html:     $(SRC_DIR)/RegExp/engine-sig.mldoc $(HTML_INFO) page.template
263          $(HTML_GEN) $(SRC_DIR)/array-sort.mldoc          $(HTML_GEN) $(SRC_DIR)/RegExp/engine-sig.mldoc
264    
265  $(HTML_DIR)/binary-map-fn.html: $(SRC_DIR)/binary-map-fn.mldoc $(INFO)  $(HTML_DIR)/RegExp/match-tree.html:     $(SRC_DIR)/RegExp/match-tree.mldoc $(HTML_INFO) page.template
266          $(HTML_GEN) $(SRC_DIR)/binary-map-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/RegExp/match-tree.mldoc
267    
268  $(HTML_DIR)/binary-set-fn.html: $(SRC_DIR)/binary-set-fn.mldoc $(INFO)  $(HTML_DIR)/RegExp/parser-sig.html:     $(SRC_DIR)/RegExp/parser-sig.mldoc $(HTML_INFO) page.template
269          $(HTML_GEN) $(SRC_DIR)/binary-set-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/RegExp/parser-sig.mldoc
270    
271  $(HTML_DIR)/bit-array.html:     $(SRC_DIR)/bit-array.mldoc $(INFO)  $(HTML_DIR)/RegExp/regexp-fn.html:      $(SRC_DIR)/RegExp/regexp-fn.mldoc $(HTML_INFO) page.template
272          $(HTML_GEN) $(SRC_DIR)/bit-array.mldoc          $(HTML_GEN) $(SRC_DIR)/RegExp/regexp-fn.mldoc
273    
274  $(HTML_DIR)/bit-vector.html:    $(SRC_DIR)/bit-vector.mldoc $(INFO)  $(HTML_DIR)/RegExp/regexp-intro.html:   $(SRC_DIR)/RegExp/regexp-intro.mldoc $(HTML_INFO) page.template
275          $(HTML_GEN) $(SRC_DIR)/bit-vector.mldoc          $(HTML_GEN) $(SRC_DIR)/RegExp/regexp-intro.mldoc
276    
277  $(HTML_DIR)/bsearch.html:       $(SRC_DIR)/bsearch.mldoc $(INFO)  $(HTML_DIR)/RegExp/regexp-lib-part.html:        $(SRC_DIR)/RegExp/regexp-lib-part.mldoc $(HTML_INFO) page.template
278          $(HTML_GEN) $(SRC_DIR)/bsearch.mldoc          $(HTML_GEN) $(SRC_DIR)/RegExp/regexp-lib-part.mldoc
279    
280  $(HTML_DIR)/char-map.html:      $(SRC_DIR)/char-map.mldoc $(INFO)  $(HTML_DIR)/RegExp/regexp-sig.html:     $(SRC_DIR)/RegExp/regexp-sig.mldoc $(HTML_INFO) page.template
281          $(HTML_GEN) $(SRC_DIR)/char-map.mldoc          $(HTML_GEN) $(SRC_DIR)/RegExp/regexp-sig.mldoc
282    
283  $(HTML_DIR)/dynamic-array.html: $(SRC_DIR)/dynamic-array.mldoc $(INFO)  $(HTML_DIR)/RegExp/syntax.html: $(SRC_DIR)/RegExp/syntax.mldoc $(HTML_INFO) page.template
284          $(HTML_GEN) $(SRC_DIR)/dynamic-array.mldoc          $(HTML_GEN) $(SRC_DIR)/RegExp/syntax.mldoc
285    
286  $(HTML_DIR)/engine-sig.html:    $(SRC_DIR)/engine-sig.mldoc $(INFO)  $(HTML_DIR)/smlnj-lib.html:     $(SRC_DIR)/smlnj-lib.mldoc $(HTML_INFO) page.template
287          $(HTML_GEN) $(SRC_DIR)/engine-sig.mldoc          $(HTML_GEN) $(SRC_DIR)/smlnj-lib.mldoc
288    
289  $(HTML_DIR)/fifo.html:  $(SRC_DIR)/fifo.mldoc $(INFO)  $(HTML_DIR)/Util/array-qsort-fn.html:   $(SRC_DIR)/Util/array-qsort-fn.mldoc $(HTML_INFO) page.template
290          $(HTML_GEN) $(SRC_DIR)/fifo.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/array-qsort-fn.mldoc
291    
292  $(HTML_DIR)/intro-part.html:    $(SRC_DIR)/intro-part.mldoc $(INFO)  $(HTML_DIR)/Util/array-qsort.html:      $(SRC_DIR)/Util/array-qsort.mldoc $(HTML_INFO) page.template
293          $(HTML_GEN) $(SRC_DIR)/intro-part.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/array-qsort.mldoc
294    
295  $(HTML_DIR)/iterate.html:       $(SRC_DIR)/iterate.mldoc $(INFO)  $(HTML_DIR)/Util/array-sort.html:       $(SRC_DIR)/Util/array-sort.mldoc $(HTML_INFO) page.template
296          $(HTML_GEN) $(SRC_DIR)/iterate.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/array-sort.mldoc
297    
298  $(HTML_DIR)/lib-base.html:      $(SRC_DIR)/lib-base.mldoc $(INFO)  $(HTML_DIR)/Util/atom.html:     $(SRC_DIR)/Util/atom.mldoc $(HTML_INFO) page.template
299          $(HTML_GEN) $(SRC_DIR)/lib-base.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/atom.mldoc
300    
301  $(HTML_DIR)/list-format.html:   $(SRC_DIR)/list-format.mldoc $(INFO)  $(HTML_DIR)/Util/binary-map-fn.html:    $(SRC_DIR)/Util/binary-map-fn.mldoc $(HTML_INFO) page.template
302          $(HTML_GEN) $(SRC_DIR)/list-format.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/binary-map-fn.mldoc
303    
304  $(HTML_DIR)/list-map-fn.html:   $(SRC_DIR)/list-map-fn.mldoc $(INFO)  $(HTML_DIR)/Util/binary-set-fn.html:    $(SRC_DIR)/Util/binary-set-fn.mldoc $(HTML_INFO) page.template
305          $(HTML_GEN) $(SRC_DIR)/list-map-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/binary-set-fn.mldoc
306    
307  $(HTML_DIR)/list-set-fn.html:   $(SRC_DIR)/list-set-fn.mldoc $(INFO)  $(HTML_DIR)/Util/bit-array.html:        $(SRC_DIR)/Util/bit-array.mldoc $(HTML_INFO) page.template
308          $(HTML_GEN) $(SRC_DIR)/list-set-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/bit-array.mldoc
309    
310  $(HTML_DIR)/list-xprod.html:    $(SRC_DIR)/list-xprod.mldoc $(INFO)  $(HTML_DIR)/Util/bit-vector.html:       $(SRC_DIR)/Util/bit-vector.mldoc $(HTML_INFO) page.template
311          $(HTML_GEN) $(SRC_DIR)/list-xprod.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/bit-vector.mldoc
312    
313  $(HTML_DIR)/listsort.html:      $(SRC_DIR)/listsort.mldoc $(INFO)  $(HTML_DIR)/Util/bsearch.html:  $(SRC_DIR)/Util/bsearch.mldoc $(HTML_INFO) page.template
314          $(HTML_GEN) $(SRC_DIR)/listsort.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/bsearch.mldoc
315    
316  $(HTML_DIR)/match-tree.html:    $(SRC_DIR)/match-tree.mldoc $(INFO)  $(HTML_DIR)/Util/char-map.html: $(SRC_DIR)/Util/char-map.mldoc $(HTML_INFO) page.template
317          $(HTML_GEN) $(SRC_DIR)/match-tree.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/char-map.mldoc
318    
319  $(HTML_DIR)/mono-array-sort.html:       $(SRC_DIR)/mono-array-sort.mldoc $(INFO)  $(HTML_DIR)/Util/dynamic-array.html:    $(SRC_DIR)/Util/dynamic-array.mldoc $(HTML_INFO) page.template
320          $(HTML_GEN) $(SRC_DIR)/mono-array-sort.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/dynamic-array.mldoc
321    
322  $(HTML_DIR)/mono-dynamic-array.html:    $(SRC_DIR)/mono-dynamic-array.mldoc $(INFO)  $(HTML_DIR)/Util/fifo.html:     $(SRC_DIR)/Util/fifo.mldoc $(HTML_INFO) page.template
323          $(HTML_GEN) $(SRC_DIR)/mono-dynamic-array.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/fifo.mldoc
324    
325  $(HTML_DIR)/ord-key.html:       $(SRC_DIR)/ord-key.mldoc $(INFO)  $(HTML_DIR)/Util/iterate.html:  $(SRC_DIR)/Util/iterate.mldoc $(HTML_INFO) page.template
326          $(HTML_GEN) $(SRC_DIR)/ord-key.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/iterate.mldoc
327    
328  $(HTML_DIR)/ord-map.html:       $(SRC_DIR)/ord-map.mldoc $(INFO)  $(HTML_DIR)/Util/lib-base.html: $(SRC_DIR)/Util/lib-base.mldoc $(HTML_INFO) page.template
329          $(HTML_GEN) $(SRC_DIR)/ord-map.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/lib-base.mldoc
330    
331  $(HTML_DIR)/ord-set.html:       $(SRC_DIR)/ord-set.mldoc $(INFO)  $(HTML_DIR)/Util/list-format.html:      $(SRC_DIR)/Util/list-format.mldoc $(HTML_INFO) page.template
332          $(HTML_GEN) $(SRC_DIR)/ord-set.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/list-format.mldoc
333    
334  $(HTML_DIR)/parser-sig.html:    $(SRC_DIR)/parser-sig.mldoc $(INFO)  $(HTML_DIR)/Util/list-map-fn.html:      $(SRC_DIR)/Util/list-map-fn.mldoc $(HTML_INFO) page.template
335          $(HTML_GEN) $(SRC_DIR)/parser-sig.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/list-map-fn.mldoc
336    
337  $(HTML_DIR)/queue.html: $(SRC_DIR)/queue.mldoc $(INFO)  $(HTML_DIR)/Util/list-set-fn.html:      $(SRC_DIR)/Util/list-set-fn.mldoc $(HTML_INFO) page.template
338          $(HTML_GEN) $(SRC_DIR)/queue.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/list-set-fn.mldoc
339    
340  $(HTML_DIR)/rand.html:  $(SRC_DIR)/rand.mldoc $(INFO)  $(HTML_DIR)/Util/list-xprod.html:       $(SRC_DIR)/Util/list-xprod.mldoc $(HTML_INFO) page.template
341          $(HTML_GEN) $(SRC_DIR)/rand.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/list-xprod.mldoc
342    
343  $(HTML_DIR)/random.html:        $(SRC_DIR)/random.mldoc $(INFO)  $(HTML_DIR)/Util/listsort.html: $(SRC_DIR)/Util/listsort.mldoc $(HTML_INFO) page.template
344          $(HTML_GEN) $(SRC_DIR)/random.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/listsort.mldoc
345    
346  $(HTML_DIR)/regexp-fn.html:     $(SRC_DIR)/regexp-fn.mldoc $(INFO)  $(HTML_DIR)/Util/mono-array-sort.html:  $(SRC_DIR)/Util/mono-array-sort.mldoc $(HTML_INFO) page.template
347          $(HTML_GEN) $(SRC_DIR)/regexp-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/mono-array-sort.mldoc
348    
349  $(HTML_DIR)/regexp-intro.html:  $(SRC_DIR)/regexp-intro.mldoc $(INFO)  $(HTML_DIR)/Util/mono-dynamic-array.html:       $(SRC_DIR)/Util/mono-dynamic-array.mldoc $(HTML_INFO) page.template
350          $(HTML_GEN) $(SRC_DIR)/regexp-intro.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/mono-dynamic-array.mldoc
351    
352  $(HTML_DIR)/regexp-lib-part.html:       $(SRC_DIR)/regexp-lib-part.mldoc $(INFO)  $(HTML_DIR)/Util/ord-key.html:  $(SRC_DIR)/Util/ord-key.mldoc $(HTML_INFO) page.template
353          $(HTML_GEN) $(SRC_DIR)/regexp-lib-part.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/ord-key.mldoc
354    
355  $(HTML_DIR)/regexp-sig.html:    $(SRC_DIR)/regexp-sig.mldoc $(INFO)  $(HTML_DIR)/Util/ord-map.html:  $(SRC_DIR)/Util/ord-map.mldoc $(HTML_INFO) page.template
356          $(HTML_GEN) $(SRC_DIR)/regexp-sig.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/ord-map.mldoc
357    
358  $(HTML_DIR)/smlnj-lib.html:     $(SRC_DIR)/smlnj-lib.mldoc $(INFO)  $(HTML_DIR)/Util/ord-set.html:  $(SRC_DIR)/Util/ord-set.mldoc $(HTML_INFO) page.template
359          $(HTML_GEN) $(SRC_DIR)/smlnj-lib.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/ord-set.mldoc
360    
361  $(HTML_DIR)/splay-map-fn.html:  $(SRC_DIR)/splay-map-fn.mldoc $(INFO)  $(HTML_DIR)/Util/queue.html:    $(SRC_DIR)/Util/queue.mldoc $(HTML_INFO) page.template
362          $(HTML_GEN) $(SRC_DIR)/splay-map-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/queue.mldoc
363    
364  $(HTML_DIR)/splay-set-fn.html:  $(SRC_DIR)/splay-set-fn.mldoc $(INFO)  $(HTML_DIR)/Util/rand.html:     $(SRC_DIR)/Util/rand.mldoc $(HTML_INFO) page.template
365          $(HTML_GEN) $(SRC_DIR)/splay-set-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/rand.mldoc
366    
367  $(HTML_DIR)/splaytree.html:     $(SRC_DIR)/splaytree.mldoc $(INFO)  $(HTML_DIR)/Util/random.html:   $(SRC_DIR)/Util/random.mldoc $(HTML_INFO) page.template
368          $(HTML_GEN) $(SRC_DIR)/splaytree.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/random.mldoc
369    
370  $(HTML_DIR)/syntax.html:        $(SRC_DIR)/syntax.mldoc $(INFO)  $(HTML_DIR)/Util/splay-map-fn.html:     $(SRC_DIR)/Util/splay-map-fn.mldoc $(HTML_INFO) page.template
371          $(HTML_GEN) $(SRC_DIR)/syntax.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/splay-map-fn.mldoc
372    
373  $(HTML_DIR)/util-lib-part.html: $(SRC_DIR)/util-lib-part.mldoc $(INFO)  $(HTML_DIR)/Util/splay-set-fn.html:     $(SRC_DIR)/Util/splay-set-fn.mldoc $(HTML_INFO) page.template
374          $(HTML_GEN) $(SRC_DIR)/util-lib-part.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/splay-set-fn.mldoc
375    
376  $(INFO_DIR)/Master.info:        $(INFO_FILES)  $(HTML_DIR)/Util/splaytree.html:        $(SRC_DIR)/Util/splaytree.mldoc $(HTML_INFO) page.template
377          $(MERGE_INFO) $(INFO_FILES)          $(HTML_GEN) $(SRC_DIR)/Util/splaytree.mldoc
378    
379  $(INFO_DIR)/array-qsort-fn.info:        $(SRC_DIR)/array-qsort-fn.mldoc $(CONFIG)  $(HTML_DIR)/Util/uref.html:     $(SRC_DIR)/Util/uref.mldoc $(HTML_INFO) page.template
380          $(EXTRACT_INFO) $(SRC_DIR)/array-qsort-fn.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/uref.mldoc
381    
382  $(INFO_DIR)/array-qsort.info:   $(SRC_DIR)/array-qsort.mldoc $(CONFIG)  $(HTML_DIR)/Util/util-lib-part.html:    $(SRC_DIR)/Util/util-lib-part.mldoc $(HTML_INFO) page.template
383          $(EXTRACT_INFO) $(SRC_DIR)/array-qsort.mldoc          $(HTML_GEN) $(SRC_DIR)/Util/util-lib-part.mldoc
384    
385  $(INFO_DIR)/array-sort.info:    $(SRC_DIR)/array-sort.mldoc $(CONFIG)  $(INFO_DIR)/HTML.info:  $(HTML_INFO_FILES)
386          $(EXTRACT_INFO) $(SRC_DIR)/array-sort.mldoc          $(MERGE_INFO) -o $(INFO_DIR)/HTML.info $(HTML_INFO_FILES)
387    
388  $(INFO_DIR)/binary-map-fn.info: $(SRC_DIR)/binary-map-fn.mldoc $(CONFIG)  $(INFO_DIR)/LaTeX.info: $(LATEX_INFO_FILES)
389          $(EXTRACT_INFO) $(SRC_DIR)/binary-map-fn.mldoc          $(MERGE_INFO) -o $(INFO_DIR)/LaTeX.info $(LATEX_INFO_FILES)
390    
391  $(INFO_DIR)/binary-set-fn.info: $(SRC_DIR)/binary-set-fn.mldoc $(CONFIG)  $(INFO_DIR)/HashCons/hash-cons.info:    $(SRC_DIR)/HashCons/hash-cons.mldoc $(CONFIG)
392          $(EXTRACT_INFO) $(SRC_DIR)/binary-set-fn.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/HashCons/hash-cons.mldoc
393    
394  $(INFO_DIR)/bit-array.info:     $(SRC_DIR)/bit-array.mldoc $(CONFIG)  $(INFO_DIR)/intro-part.info:    $(SRC_DIR)/intro-part.mldoc $(CONFIG)
395          $(EXTRACT_INFO) $(SRC_DIR)/bit-array.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/intro-part.mldoc
396    
397  $(INFO_DIR)/bit-vector.info:    $(SRC_DIR)/bit-vector.mldoc $(CONFIG)  $(INFO_DIR)/RegExp/engine-sig.info:     $(SRC_DIR)/RegExp/engine-sig.mldoc $(CONFIG)
398          $(EXTRACT_INFO) $(SRC_DIR)/bit-vector.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/RegExp/engine-sig.mldoc
399    
400  $(INFO_DIR)/bsearch.info:       $(SRC_DIR)/bsearch.mldoc $(CONFIG)  $(INFO_DIR)/RegExp/match-tree.info:     $(SRC_DIR)/RegExp/match-tree.mldoc $(CONFIG)
401          $(EXTRACT_INFO) $(SRC_DIR)/bsearch.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/RegExp/match-tree.mldoc
402    
403  $(INFO_DIR)/char-map.info:      $(SRC_DIR)/char-map.mldoc $(CONFIG)  $(INFO_DIR)/RegExp/parser-sig.info:     $(SRC_DIR)/RegExp/parser-sig.mldoc $(CONFIG)
404          $(EXTRACT_INFO) $(SRC_DIR)/char-map.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/RegExp/parser-sig.mldoc
405    
406  $(INFO_DIR)/dynamic-array.info: $(SRC_DIR)/dynamic-array.mldoc $(CONFIG)  $(INFO_DIR)/RegExp/regexp-fn.info:      $(SRC_DIR)/RegExp/regexp-fn.mldoc $(CONFIG)
407          $(EXTRACT_INFO) $(SRC_DIR)/dynamic-array.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/RegExp/regexp-fn.mldoc
408    
409  $(INFO_DIR)/engine-sig.info:    $(SRC_DIR)/engine-sig.mldoc $(CONFIG)  $(INFO_DIR)/RegExp/regexp-intro.info:   $(SRC_DIR)/RegExp/regexp-intro.mldoc $(CONFIG)
410          $(EXTRACT_INFO) $(SRC_DIR)/engine-sig.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/RegExp/regexp-intro.mldoc
411    
412  $(INFO_DIR)/fifo.info:  $(SRC_DIR)/fifo.mldoc $(CONFIG)  $(INFO_DIR)/RegExp/regexp-lib-part.info:        $(SRC_DIR)/RegExp/regexp-lib-part.mldoc $(CONFIG)
413          $(EXTRACT_INFO) $(SRC_DIR)/fifo.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/RegExp/regexp-lib-part.mldoc
414    
415  $(INFO_DIR)/intro-part.info:    $(SRC_DIR)/intro-part.mldoc $(CONFIG)  $(INFO_DIR)/RegExp/regexp-sig.info:     $(SRC_DIR)/RegExp/regexp-sig.mldoc $(CONFIG)
416          $(EXTRACT_INFO) $(SRC_DIR)/intro-part.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/RegExp/regexp-sig.mldoc
417    
418  $(INFO_DIR)/iterate.info:       $(SRC_DIR)/iterate.mldoc $(CONFIG)  $(INFO_DIR)/RegExp/syntax.info: $(SRC_DIR)/RegExp/syntax.mldoc $(CONFIG)
419          $(EXTRACT_INFO) $(SRC_DIR)/iterate.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/RegExp/syntax.mldoc
420    
421  $(INFO_DIR)/lib-base.info:      $(SRC_DIR)/lib-base.mldoc $(CONFIG)  $(INFO_DIR)/smlnj-lib.info:     $(SRC_DIR)/smlnj-lib.mldoc $(CONFIG)
422          $(EXTRACT_INFO) $(SRC_DIR)/lib-base.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/smlnj-lib.mldoc
423    
424  $(INFO_DIR)/list-format.info:   $(SRC_DIR)/list-format.mldoc $(CONFIG)  $(INFO_DIR)/Util/array-qsort-fn.info:   $(SRC_DIR)/Util/array-qsort-fn.mldoc $(CONFIG)
425          $(EXTRACT_INFO) $(SRC_DIR)/list-format.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/array-qsort-fn.mldoc
426    
427  $(INFO_DIR)/list-map-fn.info:   $(SRC_DIR)/list-map-fn.mldoc $(CONFIG)  $(INFO_DIR)/Util/array-qsort.info:      $(SRC_DIR)/Util/array-qsort.mldoc $(CONFIG)
428          $(EXTRACT_INFO) $(SRC_DIR)/list-map-fn.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/array-qsort.mldoc
429    
430  $(INFO_DIR)/list-set-fn.info:   $(SRC_DIR)/list-set-fn.mldoc $(CONFIG)  $(INFO_DIR)/Util/array-sort.info:       $(SRC_DIR)/Util/array-sort.mldoc $(CONFIG)
431          $(EXTRACT_INFO) $(SRC_DIR)/list-set-fn.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/array-sort.mldoc
432    
433  $(INFO_DIR)/list-xprod.info:    $(SRC_DIR)/list-xprod.mldoc $(CONFIG)  $(INFO_DIR)/Util/atom.info:     $(SRC_DIR)/Util/atom.mldoc $(CONFIG)
434          $(EXTRACT_INFO) $(SRC_DIR)/list-xprod.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/atom.mldoc
435    
436  $(INFO_DIR)/listsort.info:      $(SRC_DIR)/listsort.mldoc $(CONFIG)  $(INFO_DIR)/Util/binary-map-fn.info:    $(SRC_DIR)/Util/binary-map-fn.mldoc $(CONFIG)
437          $(EXTRACT_INFO) $(SRC_DIR)/listsort.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/binary-map-fn.mldoc
438    
439  $(INFO_DIR)/match-tree.info:    $(SRC_DIR)/match-tree.mldoc $(CONFIG)  $(INFO_DIR)/Util/binary-set-fn.info:    $(SRC_DIR)/Util/binary-set-fn.mldoc $(CONFIG)
440          $(EXTRACT_INFO) $(SRC_DIR)/match-tree.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/binary-set-fn.mldoc
441    
442  $(INFO_DIR)/mono-array-sort.info:       $(SRC_DIR)/mono-array-sort.mldoc $(CONFIG)  $(INFO_DIR)/Util/bit-array.info:        $(SRC_DIR)/Util/bit-array.mldoc $(CONFIG)
443          $(EXTRACT_INFO) $(SRC_DIR)/mono-array-sort.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/bit-array.mldoc
444    
445  $(INFO_DIR)/mono-dynamic-array.info:    $(SRC_DIR)/mono-dynamic-array.mldoc $(CONFIG)  $(INFO_DIR)/Util/bit-vector.info:       $(SRC_DIR)/Util/bit-vector.mldoc $(CONFIG)
446          $(EXTRACT_INFO) $(SRC_DIR)/mono-dynamic-array.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/bit-vector.mldoc
447    
448  $(INFO_DIR)/ord-key.info:       $(SRC_DIR)/ord-key.mldoc $(CONFIG)  $(INFO_DIR)/Util/bsearch.info:  $(SRC_DIR)/Util/bsearch.mldoc $(CONFIG)
449          $(EXTRACT_INFO) $(SRC_DIR)/ord-key.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/bsearch.mldoc
450    
451  $(INFO_DIR)/ord-map.info:       $(SRC_DIR)/ord-map.mldoc $(CONFIG)  $(INFO_DIR)/Util/char-map.info: $(SRC_DIR)/Util/char-map.mldoc $(CONFIG)
452          $(EXTRACT_INFO) $(SRC_DIR)/ord-map.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/char-map.mldoc
453    
454  $(INFO_DIR)/ord-set.info:       $(SRC_DIR)/ord-set.mldoc $(CONFIG)  $(INFO_DIR)/Util/dynamic-array.info:    $(SRC_DIR)/Util/dynamic-array.mldoc $(CONFIG)
455          $(EXTRACT_INFO) $(SRC_DIR)/ord-set.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/dynamic-array.mldoc
456    
457  $(INFO_DIR)/parser-sig.info:    $(SRC_DIR)/parser-sig.mldoc $(CONFIG)  $(INFO_DIR)/Util/fifo.info:     $(SRC_DIR)/Util/fifo.mldoc $(CONFIG)
458          $(EXTRACT_INFO) $(SRC_DIR)/parser-sig.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/fifo.mldoc
459    
460  $(INFO_DIR)/queue.info: $(SRC_DIR)/queue.mldoc $(CONFIG)  $(INFO_DIR)/Util/iterate.info:  $(SRC_DIR)/Util/iterate.mldoc $(CONFIG)
461          $(EXTRACT_INFO) $(SRC_DIR)/queue.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/iterate.mldoc
462    
463  $(INFO_DIR)/rand.info:  $(SRC_DIR)/rand.mldoc $(CONFIG)  $(INFO_DIR)/Util/lib-base.info: $(SRC_DIR)/Util/lib-base.mldoc $(CONFIG)
464          $(EXTRACT_INFO) $(SRC_DIR)/rand.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/lib-base.mldoc
465    
466  $(INFO_DIR)/random.info:        $(SRC_DIR)/random.mldoc $(CONFIG)  $(INFO_DIR)/Util/list-format.info:      $(SRC_DIR)/Util/list-format.mldoc $(CONFIG)
467          $(EXTRACT_INFO) $(SRC_DIR)/random.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/list-format.mldoc
468    
469  $(INFO_DIR)/regexp-fn.info:     $(SRC_DIR)/regexp-fn.mldoc $(CONFIG)  $(INFO_DIR)/Util/list-map-fn.info:      $(SRC_DIR)/Util/list-map-fn.mldoc $(CONFIG)
470          $(EXTRACT_INFO) $(SRC_DIR)/regexp-fn.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/list-map-fn.mldoc
471    
472  $(INFO_DIR)/regexp-intro.info:  $(SRC_DIR)/regexp-intro.mldoc $(CONFIG)  $(INFO_DIR)/Util/list-set-fn.info:      $(SRC_DIR)/Util/list-set-fn.mldoc $(CONFIG)
473          $(EXTRACT_INFO) $(SRC_DIR)/regexp-intro.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/list-set-fn.mldoc
474    
475  $(INFO_DIR)/regexp-lib-part.info:       $(SRC_DIR)/regexp-lib-part.mldoc $(CONFIG)  $(INFO_DIR)/Util/list-xprod.info:       $(SRC_DIR)/Util/list-xprod.mldoc $(CONFIG)
476          $(EXTRACT_INFO) $(SRC_DIR)/regexp-lib-part.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/list-xprod.mldoc
477    
478  $(INFO_DIR)/regexp-sig.info:    $(SRC_DIR)/regexp-sig.mldoc $(CONFIG)  $(INFO_DIR)/Util/listsort.info: $(SRC_DIR)/Util/listsort.mldoc $(CONFIG)
479          $(EXTRACT_INFO) $(SRC_DIR)/regexp-sig.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/listsort.mldoc
480    
481  $(INFO_DIR)/smlnj-lib.info:     $(SRC_DIR)/smlnj-lib.mldoc $(CONFIG)  $(INFO_DIR)/Util/mono-array-sort.info:  $(SRC_DIR)/Util/mono-array-sort.mldoc $(CONFIG)
482          $(EXTRACT_INFO) $(SRC_DIR)/smlnj-lib.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/Util/mono-array-sort.mldoc
483    
484    $(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    
487    $(INFO_DIR)/Util/ord-key.info:  $(SRC_DIR)/Util/ord-key.mldoc $(CONFIG)
488            $(EXTRACT_INFO) $(SRC_DIR)/Util/ord-key.mldoc
489    
490    $(INFO_DIR)/Util/ord-map.info:  $(SRC_DIR)/Util/ord-map.mldoc $(CONFIG)
491            $(EXTRACT_INFO) $(SRC_DIR)/Util/ord-map.mldoc
492    
493    $(INFO_DIR)/Util/ord-set.info:  $(SRC_DIR)/Util/ord-set.mldoc $(CONFIG)
494            $(EXTRACT_INFO) $(SRC_DIR)/Util/ord-set.mldoc
495    
496    $(INFO_DIR)/Util/queue.info:    $(SRC_DIR)/Util/queue.mldoc $(CONFIG)
497            $(EXTRACT_INFO) $(SRC_DIR)/Util/queue.mldoc
498    
499    $(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  $(INFO_DIR)/splay-map-fn.info:  $(SRC_DIR)/splay-map-fn.mldoc $(CONFIG)  $(LATEX_DIR)/RegExp/match-tree.tex:     $(SRC_DIR)/RegExp/match-tree.mldoc $(LATEX_INFO)
532          $(EXTRACT_INFO) $(SRC_DIR)/splay-map-fn.mldoc          $(LATEX_GEN) $(SRC_DIR)/RegExp/match-tree.mldoc
533    
534  $(INFO_DIR)/splay-set-fn.info:  $(SRC_DIR)/splay-set-fn.mldoc $(CONFIG)  $(LATEX_DIR)/RegExp/parser-sig.tex:     $(SRC_DIR)/RegExp/parser-sig.mldoc $(LATEX_INFO)
535          $(EXTRACT_INFO) $(SRC_DIR)/splay-set-fn.mldoc          $(LATEX_GEN) $(SRC_DIR)/RegExp/parser-sig.mldoc
536    
537  $(INFO_DIR)/splaytree.info:     $(SRC_DIR)/splaytree.mldoc $(CONFIG)  $(LATEX_DIR)/RegExp/regexp-fn.tex:      $(SRC_DIR)/RegExp/regexp-fn.mldoc $(LATEX_INFO)
538          $(EXTRACT_INFO) $(SRC_DIR)/splaytree.mldoc          $(LATEX_GEN) $(SRC_DIR)/RegExp/regexp-fn.mldoc
539    
540  $(INFO_DIR)/syntax.info:        $(SRC_DIR)/syntax.mldoc $(CONFIG)  $(LATEX_DIR)/RegExp/regexp-intro.tex:   $(SRC_DIR)/RegExp/regexp-intro.mldoc $(LATEX_INFO)
541          $(EXTRACT_INFO) $(SRC_DIR)/syntax.mldoc          $(LATEX_GEN) $(SRC_DIR)/RegExp/regexp-intro.mldoc
542    
543  $(INFO_DIR)/util-lib-part.info: $(SRC_DIR)/util-lib-part.mldoc $(CONFIG)  $(LATEX_DIR)/RegExp/regexp-lib-part.tex:        $(SRC_DIR)/RegExp/regexp-lib-part.mldoc $(LATEX_INFO)
544          $(EXTRACT_INFO) $(SRC_DIR)/util-lib-part.mldoc          $(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  Proof:  $(PROOF_FILES)  Proof:  $(PROOF_FILES)
652    
653  $(PROOF_DIR)/array-qsort-fn.tex:        $(SRC_DIR)/array-qsort-fn.mldoc $(INFO)  $(PROOF_DIR)/HashCons/hash-cons.tex:    $(SRC_DIR)/HashCons/hash-cons.mldoc $(LATEX_INFO)
654          $(PROOF) $(SRC_DIR)/array-qsort-fn.mldoc          $(PROOF_LATEX) $(SRC_DIR)/HashCons/hash-cons.mldoc
655    
656  $(PROOF_DIR)/array-qsort.tex:   $(SRC_DIR)/array-qsort.mldoc $(INFO)  $(PROOF_DIR)/intro-part.tex:    $(SRC_DIR)/intro-part.mldoc $(LATEX_INFO)
657          $(PROOF) $(SRC_DIR)/array-qsort.mldoc          $(PROOF_LATEX) $(SRC_DIR)/intro-part.mldoc
658    
659  $(PROOF_DIR)/array-sort.tex:    $(SRC_DIR)/array-sort.mldoc $(INFO)  $(PROOF_DIR)/RegExp/engine-sig.tex:     $(SRC_DIR)/RegExp/engine-sig.mldoc $(LATEX_INFO)
660          $(PROOF) $(SRC_DIR)/array-sort.mldoc          $(PROOF_LATEX) $(SRC_DIR)/RegExp/engine-sig.mldoc
661    
662  $(PROOF_DIR)/binary-map-fn.tex: $(SRC_DIR)/binary-map-fn.mldoc $(INFO)  $(PROOF_DIR)/RegExp/match-tree.tex:     $(SRC_DIR)/RegExp/match-tree.mldoc $(LATEX_INFO)
663          $(PROOF) $(SRC_DIR)/binary-map-fn.mldoc          $(PROOF_LATEX) $(SRC_DIR)/RegExp/match-tree.mldoc
664    
665  $(PROOF_DIR)/binary-set-fn.tex: $(SRC_DIR)/binary-set-fn.mldoc $(INFO)  $(PROOF_DIR)/RegExp/parser-sig.tex:     $(SRC_DIR)/RegExp/parser-sig.mldoc $(LATEX_INFO)
666          $(PROOF) $(SRC_DIR)/binary-set-fn.mldoc          $(PROOF_LATEX) $(SRC_DIR)/RegExp/parser-sig.mldoc
667    
668  $(PROOF_DIR)/bit-array.tex:     $(SRC_DIR)/bit-array.mldoc $(INFO)  $(PROOF_DIR)/RegExp/regexp-fn.tex:      $(SRC_DIR)/RegExp/regexp-fn.mldoc $(LATEX_INFO)
669          $(PROOF) $(SRC_DIR)/bit-array.mldoc          $(PROOF_LATEX) $(SRC_DIR)/RegExp/regexp-fn.mldoc
670    
671  $(PROOF_DIR)/bit-vector.tex:    $(SRC_DIR)/bit-vector.mldoc $(INFO)  $(PROOF_DIR)/RegExp/regexp-intro.tex:   $(SRC_DIR)/RegExp/regexp-intro.mldoc $(LATEX_INFO)
672          $(PROOF) $(SRC_DIR)/bit-vector.mldoc          $(PROOF_LATEX) $(SRC_DIR)/RegExp/regexp-intro.mldoc
673    
674  $(PROOF_DIR)/bsearch.tex:       $(SRC_DIR)/bsearch.mldoc $(INFO)  $(PROOF_DIR)/RegExp/regexp-lib-part.tex:        $(SRC_DIR)/RegExp/regexp-lib-part.mldoc $(LATEX_INFO)
675          $(PROOF) $(SRC_DIR)/bsearch.mldoc          $(PROOF_LATEX) $(SRC_DIR)/RegExp/regexp-lib-part.mldoc
676    
677  $(PROOF_DIR)/char-map.tex:      $(SRC_DIR)/char-map.mldoc $(INFO)  $(PROOF_DIR)/RegExp/regexp-sig.tex:     $(SRC_DIR)/RegExp/regexp-sig.mldoc $(LATEX_INFO)
678          $(PROOF) $(SRC_DIR)/char-map.mldoc          $(PROOF_LATEX) $(SRC_DIR)/RegExp/regexp-sig.mldoc
679    
680  $(PROOF_DIR)/dynamic-array.tex: $(SRC_DIR)/dynamic-array.mldoc $(INFO)  $(PROOF_DIR)/RegExp/syntax.tex: $(SRC_DIR)/RegExp/syntax.mldoc $(LATEX_INFO)
681          $(PROOF) $(SRC_DIR)/dynamic-array.mldoc          $(PROOF_LATEX) $(SRC_DIR)/RegExp/syntax.mldoc
682    
683  $(PROOF_DIR)/engine-sig.tex:    $(SRC_DIR)/engine-sig.mldoc $(INFO)  $(PROOF_DIR)/smlnj-lib.tex:     $(SRC_DIR)/smlnj-lib.mldoc $(LATEX_INFO)
684          $(PROOF) $(SRC_DIR)/engine-sig.mldoc          $(PROOF_LATEX) $(SRC_DIR)/smlnj-lib.mldoc
685    
686  $(PROOF_DIR)/fifo.tex:  $(SRC_DIR)/fifo.mldoc $(INFO)  $(PROOF_DIR)/Util/array-qsort-fn.tex:   $(SRC_DIR)/Util/array-qsort-fn.mldoc $(LATEX_INFO)
687          $(PROOF) $(SRC_DIR)/fifo.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/array-qsort-fn.mldoc
688    
689  $(PROOF_DIR)/intro-part.tex:    $(SRC_DIR)/intro-part.mldoc $(INFO)  $(PROOF_DIR)/Util/array-qsort.tex:      $(SRC_DIR)/Util/array-qsort.mldoc $(LATEX_INFO)
690          $(PROOF) $(SRC_DIR)/intro-part.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/array-qsort.mldoc
691    
692  $(PROOF_DIR)/iterate.tex:       $(SRC_DIR)/iterate.mldoc $(INFO)  $(PROOF_DIR)/Util/array-sort.tex:       $(SRC_DIR)/Util/array-sort.mldoc $(LATEX_INFO)
693          $(PROOF) $(SRC_DIR)/iterate.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/array-sort.mldoc
694    
695  $(PROOF_DIR)/lib-base.tex:      $(SRC_DIR)/lib-base.mldoc $(INFO)  $(PROOF_DIR)/Util/atom.tex:     $(SRC_DIR)/Util/atom.mldoc $(LATEX_INFO)
696          $(PROOF) $(SRC_DIR)/lib-base.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/atom.mldoc
697    
698  $(PROOF_DIR)/list-format.tex:   $(SRC_DIR)/list-format.mldoc $(INFO)  $(PROOF_DIR)/Util/binary-map-fn.tex:    $(SRC_DIR)/Util/binary-map-fn.mldoc $(LATEX_INFO)
699          $(PROOF) $(SRC_DIR)/list-format.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/binary-map-fn.mldoc
700    
701  $(PROOF_DIR)/list-map-fn.tex:   $(SRC_DIR)/list-map-fn.mldoc $(INFO)  $(PROOF_DIR)/Util/binary-set-fn.tex:    $(SRC_DIR)/Util/binary-set-fn.mldoc $(LATEX_INFO)
702          $(PROOF) $(SRC_DIR)/list-map-fn.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/binary-set-fn.mldoc
703    
704  $(PROOF_DIR)/list-set-fn.tex:   $(SRC_DIR)/list-set-fn.mldoc $(INFO)  $(PROOF_DIR)/Util/bit-array.tex:        $(SRC_DIR)/Util/bit-array.mldoc $(LATEX_INFO)
705          $(PROOF) $(SRC_DIR)/list-set-fn.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/bit-array.mldoc
706    
707  $(PROOF_DIR)/list-xprod.tex:    $(SRC_DIR)/list-xprod.mldoc $(INFO)  $(PROOF_DIR)/Util/bit-vector.tex:       $(SRC_DIR)/Util/bit-vector.mldoc $(LATEX_INFO)
708          $(PROOF) $(SRC_DIR)/list-xprod.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/bit-vector.mldoc
709    
710  $(PROOF_DIR)/listsort.tex:      $(SRC_DIR)/listsort.mldoc $(INFO)  $(PROOF_DIR)/Util/bsearch.tex:  $(SRC_DIR)/Util/bsearch.mldoc $(LATEX_INFO)
711          $(PROOF) $(SRC_DIR)/listsort.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/bsearch.mldoc
712    
713  $(PROOF_DIR)/match-tree.tex:    $(SRC_DIR)/match-tree.mldoc $(INFO)  $(PROOF_DIR)/Util/char-map.tex: $(SRC_DIR)/Util/char-map.mldoc $(LATEX_INFO)
714          $(PROOF) $(SRC_DIR)/match-tree.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/char-map.mldoc
715    
716  $(PROOF_DIR)/mono-array-sort.tex:       $(SRC_DIR)/mono-array-sort.mldoc $(INFO)  $(PROOF_DIR)/Util/dynamic-array.tex:    $(SRC_DIR)/Util/dynamic-array.mldoc $(LATEX_INFO)
717          $(PROOF) $(SRC_DIR)/mono-array-sort.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/dynamic-array.mldoc
718    
719  $(PROOF_DIR)/mono-dynamic-array.tex:    $(SRC_DIR)/mono-dynamic-array.mldoc $(INFO)  $(PROOF_DIR)/Util/fifo.tex:     $(SRC_DIR)/Util/fifo.mldoc $(LATEX_INFO)
720          $(PROOF) $(SRC_DIR)/mono-dynamic-array.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/fifo.mldoc
721    
722  $(PROOF_DIR)/ord-key.tex:       $(SRC_DIR)/ord-key.mldoc $(INFO)  $(PROOF_DIR)/Util/iterate.tex:  $(SRC_DIR)/Util/iterate.mldoc $(LATEX_INFO)
723          $(PROOF) $(SRC_DIR)/ord-key.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/iterate.mldoc
724    
725  $(PROOF_DIR)/ord-map.tex:       $(SRC_DIR)/ord-map.mldoc $(INFO)  $(PROOF_DIR)/Util/lib-base.tex: $(SRC_DIR)/Util/lib-base.mldoc $(LATEX_INFO)
726          $(PROOF) $(SRC_DIR)/ord-map.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/lib-base.mldoc
727    
728  $(PROOF_DIR)/ord-set.tex:       $(SRC_DIR)/ord-set.mldoc $(INFO)  $(PROOF_DIR)/Util/list-format.tex:      $(SRC_DIR)/Util/list-format.mldoc $(LATEX_INFO)
729          $(PROOF) $(SRC_DIR)/ord-set.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/list-format.mldoc
730    
731  $(PROOF_DIR)/parser-sig.tex:    $(SRC_DIR)/parser-sig.mldoc $(INFO)  $(PROOF_DIR)/Util/list-map-fn.tex:      $(SRC_DIR)/Util/list-map-fn.mldoc $(LATEX_INFO)
732          $(PROOF) $(SRC_DIR)/parser-sig.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/list-map-fn.mldoc
733    
734  $(PROOF_DIR)/queue.tex: $(SRC_DIR)/queue.mldoc $(INFO)  $(PROOF_DIR)/Util/list-set-fn.tex:      $(SRC_DIR)/Util/list-set-fn.mldoc $(LATEX_INFO)
735          $(PROOF) $(SRC_DIR)/queue.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/list-set-fn.mldoc
736    
737  $(PROOF_DIR)/rand.tex:  $(SRC_DIR)/rand.mldoc $(INFO)  $(PROOF_DIR)/Util/list-xprod.tex:       $(SRC_DIR)/Util/list-xprod.mldoc $(LATEX_INFO)
738          $(PROOF) $(SRC_DIR)/rand.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/list-xprod.mldoc
739    
740  $(PROOF_DIR)/random.tex:        $(SRC_DIR)/random.mldoc $(INFO)  $(PROOF_DIR)/Util/listsort.tex: $(SRC_DIR)/Util/listsort.mldoc $(LATEX_INFO)
741          $(PROOF) $(SRC_DIR)/random.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/listsort.mldoc
742    
743  $(PROOF_DIR)/regexp-fn.tex:     $(SRC_DIR)/regexp-fn.mldoc $(INFO)  $(PROOF_DIR)/Util/mono-array-sort.tex:  $(SRC_DIR)/Util/mono-array-sort.mldoc $(LATEX_INFO)
744          $(PROOF) $(SRC_DIR)/regexp-fn.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/mono-array-sort.mldoc
745    
746  $(PROOF_DIR)/regexp-intro.tex:  $(SRC_DIR)/regexp-intro.mldoc $(INFO)  $(PROOF_DIR)/Util/mono-dynamic-array.tex:       $(SRC_DIR)/Util/mono-dynamic-array.mldoc $(LATEX_INFO)
747          $(PROOF) $(SRC_DIR)/regexp-intro.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/mono-dynamic-array.mldoc
748    
749  $(PROOF_DIR)/regexp-lib-part.tex:       $(SRC_DIR)/regexp-lib-part.mldoc $(INFO)  $(PROOF_DIR)/Util/ord-key.tex:  $(SRC_DIR)/Util/ord-key.mldoc $(LATEX_INFO)
750          $(PROOF) $(SRC_DIR)/regexp-lib-part.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/ord-key.mldoc
751    
752  $(PROOF_DIR)/regexp-sig.tex:    $(SRC_DIR)/regexp-sig.mldoc $(INFO)  $(PROOF_DIR)/Util/ord-map.tex:  $(SRC_DIR)/Util/ord-map.mldoc $(LATEX_INFO)
753          $(PROOF) $(SRC_DIR)/regexp-sig.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/ord-map.mldoc
754    
755  $(PROOF_DIR)/smlnj-lib.tex:     $(SRC_DIR)/smlnj-lib.mldoc $(INFO)  $(PROOF_DIR)/Util/ord-set.tex:  $(SRC_DIR)/Util/ord-set.mldoc $(LATEX_INFO)
756          $(PROOF) $(SRC_DIR)/smlnj-lib.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/ord-set.mldoc
757    
758  $(PROOF_DIR)/splay-map-fn.tex:  $(SRC_DIR)/splay-map-fn.mldoc $(INFO)  $(PROOF_DIR)/Util/queue.tex:    $(SRC_DIR)/Util/queue.mldoc $(LATEX_INFO)
759          $(PROOF) $(SRC_DIR)/splay-map-fn.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/queue.mldoc
760    
761  $(PROOF_DIR)/splay-set-fn.tex:  $(SRC_DIR)/splay-set-fn.mldoc $(INFO)  $(PROOF_DIR)/Util/rand.tex:     $(SRC_DIR)/Util/rand.mldoc $(LATEX_INFO)
762          $(PROOF) $(SRC_DIR)/splay-set-fn.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/rand.mldoc
763    
764  $(PROOF_DIR)/splaytree.tex:     $(SRC_DIR)/splaytree.mldoc $(INFO)  $(PROOF_DIR)/Util/random.tex:   $(SRC_DIR)/Util/random.mldoc $(LATEX_INFO)
765          $(PROOF) $(SRC_DIR)/splaytree.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/random.mldoc
766    
767  $(PROOF_DIR)/syntax.tex:        $(SRC_DIR)/syntax.mldoc $(INFO)  $(PROOF_DIR)/Util/splay-map-fn.tex:     $(SRC_DIR)/Util/splay-map-fn.mldoc $(LATEX_INFO)
768          $(PROOF) $(SRC_DIR)/syntax.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/splay-map-fn.mldoc
769    
770  $(PROOF_DIR)/util-lib-part.tex: $(SRC_DIR)/util-lib-part.mldoc $(INFO)  $(PROOF_DIR)/Util/splay-set-fn.tex:     $(SRC_DIR)/Util/splay-set-fn.mldoc $(LATEX_INFO)
771          $(PROOF) $(SRC_DIR)/util-lib-part.mldoc          $(PROOF_LATEX) $(SRC_DIR)/Util/splay-set-fn.mldoc
772    
773    $(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  clean-info:  clean-info:
783          rm -f $(INFO_DIR)/Master.info $(INFO_FILES)          rm -f $(INFO_DIR)/*.info
784    
785    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  clean-proof:  clean-proof:
802          rm -f $(PROOF_FILES)          rm -f $(PROOF_FILES)
# Line 526  Line 805 
805          rm -f $(PROOF_DIR)/*.blg          rm -f $(PROOF_DIR)/*.blg
806          rm -f $(PROOF_DIR)/*.dvi          rm -f $(PROOF_DIR)/*.dvi
807          rm -f $(PROOF_DIR)/*.idx          rm -f $(PROOF_DIR)/*.idx
808            rm -f $(PROOF_DIR)/*.ilg
809          rm -f $(PROOF_DIR)/*.ind          rm -f $(PROOF_DIR)/*.ind
810            rm -f $(PROOF_DIR)/*.rnd
811            rm -f $(PROOF_DIR)/*.nnd
812          rm -f $(PROOF_DIR)/*.log          rm -f $(PROOF_DIR)/*.log
813          rm -f $(PROOF_DIR)/*.ps          rm -f $(PROOF_DIR)/*.ps
814            rm -f $(PROOF_DIR)/*.pdf
815          rm -f $(PROOF_DIR)/*.toc          rm -f $(PROOF_DIR)/*.toc
816    
817  clean-html:  clean-html:
818          rm -f $(HTML_FILES)          rm -f $(HTML_FILES)
819    
820  clean:  clean-info clean-proof clean-html  clean:  clean-html clean-info clean-latex clean-proof
821    

Legend:
Removed from v.2533  
changed lines
  Added in v.2534

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