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

SCM Repository

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

Annotation of /sml/trunk/src/cml/doc/Makefile

Parent Directory Parent Directory | Revision Log Revision Log


Revision 106 - (view) (download)
Original Path: sml/branches/SMLNJ/src/cml/doc/Makefile

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

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