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 /sml/trunk/src/cml/doc/Makefile
ViewVC logotype

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

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

sml/trunk/src/cml/doc/Makefile revision 7, Sun Jan 18 00:59:30 1998 UTC sml/branches/SMLNJ/src/cml/doc/Makefile revision 139, Mon Sep 7 21:11:35 1998 UTC
# Line 1  Line 1 
1  # Generated makefile  # Generated makefile
2  #  #
3    
4  MLDOC_BIN = /home/jhr/SGML/ML-Doc/bin/.heap  MLDOC_BIN = /n/stew/home/jhr/SGML/ML-Doc/bin
5    
6  SML = sml  EXTRACT_INFO = $(MLDOC_BIN)/extract-info.sh
7    HTML_GEN = $(MLDOC_BIN)/html-gen.sh
8  PROOF = $(SML) @SMLload=$(MLDOC_BIN)/proof-latex @SMLdebug=/dev/null  HTML_INDEX = $(MLDOC_BIN)/html-index.sh
9  EXTRACT_INFO = $(SML) @SMLload=$(MLDOC_BIN)/extract-info @SMLdebug=/dev/null  HTML_TOC = $(MLDOC_BIN)/html-toc.sh
10  MERGE_INFO = $(SML) @SMLload=$(MLDOC_BIN)/merge-info @SMLdebug=/dev/null  LATEX_GEN = $(MLDOC_BIN)/latex-gen.sh
11  HTML_GEN = $(SML) @SMLload=$(MLDOC_BIN)/html-gen @SMLdebug=/dev/null  MERGE_INFO = $(MLDOC_BIN)/merge-info.sh
12  HTML_INDEX = $(SML) @SMLload=$(MLDOC_BIN)/html-index @SMLdebug=/dev/null  PROOF = $(MLDOC_BIN)/proof.sh
13    
14  SRC_DIR = ML-Doc  SRC_DIR = ML-Doc
 PROOF_DIR = Proof  
15  INFO_DIR = Info  INFO_DIR = Info
16  HTML_DIR = HTML  HTML_DIR = HTML
17    LATEX_DIR = Hardcopy
18    PROOF_DIR = Proof
19    
20    CONFIG = Config.cfg CATALOG
21    INFO = $(CONFIG) $(INFO_DIR)/Master.info
22    
23  HTML_FILES =    $(HTML_DIR)/index-all.html \  HTML_FILES =    $(HTML_DIR)/index-all.html \
24            $(HTML_DIR)/toc.html \
25          $(HTML_DIR)/refman.html \          $(HTML_DIR)/refman.html \
26          $(HTML_DIR)/basics.html \          $(HTML_DIR)/basics.html \
27          $(HTML_DIR)/porting.html \          $(HTML_DIR)/porting.html \
# Line 45  Line 50 
50          $(INFO_DIR)/multicast.info \          $(INFO_DIR)/multicast.info \
51          $(INFO_DIR)/trace-cml.info          $(INFO_DIR)/trace-cml.info
52    
53    LATEX_FILES =   $(LATEX_DIR)/refman.tex \
54            $(LATEX_DIR)/basics.tex \
55            $(LATEX_DIR)/porting.tex \
56            $(LATEX_DIR)/core-cml.tex \
57            $(LATEX_DIR)/cml.tex \
58            $(LATEX_DIR)/mailbox.tex \
59            $(LATEX_DIR)/sync-var.tex \
60            $(LATEX_DIR)/os.tex \
61            $(LATEX_DIR)/os-process.tex \
62            $(LATEX_DIR)/os-io.tex \
63            $(LATEX_DIR)/cml-lib.tex \
64            $(LATEX_DIR)/multicast.tex \
65            $(LATEX_DIR)/trace-cml.tex
66    
67  PROOF_FILES =   $(PROOF_DIR)/refman.tex \  PROOF_FILES =   $(PROOF_DIR)/refman.tex \
68          $(PROOF_DIR)/basics.tex \          $(PROOF_DIR)/basics.tex \
69          $(PROOF_DIR)/porting.tex \          $(PROOF_DIR)/porting.tex \
# Line 61  Line 80 
80    
81  HTML:   $(HTML_FILES)  HTML:   $(HTML_FILES)
82    
83    $(HTML_DIR)/toc.html:   $(INFO_DIR)/Master.info
84            $(HTML_TOC)
85    
86    $(HTML_DIR)/index-all.html:     $(INFO_DIR)/Master.info
87            $(HTML_INDEX) -all
88    
89  $(HTML_DIR)/refman.html:        $(SRC_DIR)/refman.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/refman.html:        $(SRC_DIR)/refman.mldoc $(INFO_DIR)/Master.info
90          $(HTML_GEN) $(SRC_DIR)/refman.mldoc          $(HTML_GEN) $(SRC_DIR)/refman.mldoc
91    
# Line 94  Line 119 
119  $(HTML_DIR)/cml-lib.html:       $(SRC_DIR)/cml-lib.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/cml-lib.html:       $(SRC_DIR)/cml-lib.mldoc $(INFO_DIR)/Master.info
120          $(HTML_GEN) $(SRC_DIR)/cml-lib.mldoc          $(HTML_GEN) $(SRC_DIR)/cml-lib.mldoc
121    
122  $(HTML_DIR)/multicast.html:     $(SRC_DIR)/lib/multicast.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/multicast.html:     $(SRC_DIR)/multicast.mldoc $(INFO_DIR)/Master.info
123          $(HTML_GEN) $(SRC_DIR)/lib/multicast.mldoc          $(HTML_GEN) $(SRC_DIR)/multicast.mldoc
124    
125  $(HTML_DIR)/trace-cml.html:     $(SRC_DIR)/lib/trace-cml.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/trace-cml.html:     $(SRC_DIR)/trace-cml.mldoc $(INFO_DIR)/Master.info
126          $(HTML_GEN) $(SRC_DIR)/lib/trace-cml.mldoc          $(HTML_GEN) $(SRC_DIR)/trace-cml.mldoc
   
 $(HTML_DIR)/index-all.html:     $(INFO_DIR)/Master.info  
         $(HTML_INDEX) -all  
127    
128  $(INFO_DIR)/Master.info:        $(INFO_FILES)  $(INFO_DIR)/Master.info:        $(INFO_FILES)
129          $(MERGE_INFO) $(INFO_FILES)          $(MERGE_INFO) $(INFO_FILES)
130    
131  $(INFO_DIR)/refman.info:        $(SRC_DIR)/refman.mldoc CATALOG  $(INFO_DIR)/refman.info:        $(SRC_DIR)/refman.mldoc $(CONFIG)
132          $(EXTRACT_INFO) $(SRC_DIR)/refman.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/refman.mldoc
133    
134  $(INFO_DIR)/basics.info:        $(SRC_DIR)/basics.mldoc CATALOG  $(INFO_DIR)/basics.info:        $(SRC_DIR)/basics.mldoc $(CONFIG)
135          $(EXTRACT_INFO) $(SRC_DIR)/basics.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/basics.mldoc
136    
137  $(INFO_DIR)/porting.info:       $(SRC_DIR)/porting.mldoc CATALOG  $(INFO_DIR)/porting.info:       $(SRC_DIR)/porting.mldoc $(CONFIG)
138          $(EXTRACT_INFO) $(SRC_DIR)/porting.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/porting.mldoc
139    
140  $(INFO_DIR)/core-cml.info:      $(SRC_DIR)/core-cml.mldoc CATALOG  $(INFO_DIR)/core-cml.info:      $(SRC_DIR)/core-cml.mldoc $(CONFIG)
141          $(EXTRACT_INFO) $(SRC_DIR)/core-cml.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/core-cml.mldoc
142    
143  $(INFO_DIR)/cml.info:   $(SRC_DIR)/cml.mldoc CATALOG  $(INFO_DIR)/cml.info:   $(SRC_DIR)/cml.mldoc $(CONFIG)
144          $(EXTRACT_INFO) $(SRC_DIR)/cml.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/cml.mldoc
145    
146  $(INFO_DIR)/mailbox.info:       $(SRC_DIR)/mailbox.mldoc CATALOG  $(INFO_DIR)/mailbox.info:       $(SRC_DIR)/mailbox.mldoc $(CONFIG)
147          $(EXTRACT_INFO) $(SRC_DIR)/mailbox.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/mailbox.mldoc
148    
149  $(INFO_DIR)/sync-var.info:      $(SRC_DIR)/sync-var.mldoc CATALOG  $(INFO_DIR)/sync-var.info:      $(SRC_DIR)/sync-var.mldoc $(CONFIG)
150          $(EXTRACT_INFO) $(SRC_DIR)/sync-var.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/sync-var.mldoc
151    
152  $(INFO_DIR)/os.info:    $(SRC_DIR)/os.mldoc CATALOG  $(INFO_DIR)/os.info:    $(SRC_DIR)/os.mldoc $(CONFIG)
153          $(EXTRACT_INFO) $(SRC_DIR)/os.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/os.mldoc
154    
155  $(INFO_DIR)/os-process.info:    $(SRC_DIR)/os-process.mldoc CATALOG  $(INFO_DIR)/os-process.info:    $(SRC_DIR)/os-process.mldoc $(CONFIG)
156          $(EXTRACT_INFO) $(SRC_DIR)/os-process.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/os-process.mldoc
157    
158  $(INFO_DIR)/os-io.info: $(SRC_DIR)/os-io.mldoc CATALOG  $(INFO_DIR)/os-io.info: $(SRC_DIR)/os-io.mldoc $(CONFIG)
159          $(EXTRACT_INFO) $(SRC_DIR)/os-io.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/os-io.mldoc
160    
161  $(INFO_DIR)/cml-lib.info:       $(SRC_DIR)/cml-lib.mldoc CATALOG  $(INFO_DIR)/cml-lib.info:       $(SRC_DIR)/cml-lib.mldoc $(CONFIG)
162          $(EXTRACT_INFO) $(SRC_DIR)/cml-lib.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/cml-lib.mldoc
163    
164  $(INFO_DIR)/multicast.info:     $(SRC_DIR)/lib/multicast.mldoc CATALOG  $(INFO_DIR)/multicast.info:     $(SRC_DIR)/multicast.mldoc $(CONFIG)
165          $(EXTRACT_INFO) $(SRC_DIR)/lib/multicast.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/multicast.mldoc
166    
167    $(INFO_DIR)/trace-cml.info:     $(SRC_DIR)/trace-cml.mldoc $(CONFIG)
168            $(EXTRACT_INFO) $(SRC_DIR)/trace-cml.mldoc
169    
170    Hardcopy:       $(LATEX_FILES)
171    
172    $(LATEX_DIR)/refman.tex:        $(SRC_DIR)/refman.mldoc $(INFO_DIR)/Master.info
173            $(LATEX_GEN) $(SRC_DIR)/refman.mldoc
174    
175    $(LATEX_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info
176            $(LATEX_GEN) $(SRC_DIR)/basics.mldoc
177    
178    $(LATEX_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info
179            $(LATEX_GEN) $(SRC_DIR)/porting.mldoc
180    
181  $(INFO_DIR)/trace-cml.info:     $(SRC_DIR)/lib/trace-cml.mldoc CATALOG  $(LATEX_DIR)/core-cml.tex:      $(SRC_DIR)/core-cml.mldoc $(INFO_DIR)/Master.info
182          $(EXTRACT_INFO) $(SRC_DIR)/lib/trace-cml.mldoc          $(LATEX_GEN) $(SRC_DIR)/core-cml.mldoc
183    
184  Proof:  $(ProofFiles)  $(LATEX_DIR)/cml.tex:   $(SRC_DIR)/cml.mldoc $(INFO_DIR)/Master.info
185            $(LATEX_GEN) $(SRC_DIR)/cml.mldoc
186    
187  $(PROOF_DIR)/refman.tex:        $(SRC_DIR)/refman.mldoc CATALOG  $(LATEX_DIR)/mailbox.tex:       $(SRC_DIR)/mailbox.mldoc $(INFO_DIR)/Master.info
188            $(LATEX_GEN) $(SRC_DIR)/mailbox.mldoc
189    
190    $(LATEX_DIR)/sync-var.tex:      $(SRC_DIR)/sync-var.mldoc $(INFO_DIR)/Master.info
191            $(LATEX_GEN) $(SRC_DIR)/sync-var.mldoc
192    
193    $(LATEX_DIR)/os.tex:    $(SRC_DIR)/os.mldoc $(INFO_DIR)/Master.info
194            $(LATEX_GEN) $(SRC_DIR)/os.mldoc
195    
196    $(LATEX_DIR)/os-process.tex:    $(SRC_DIR)/os-process.mldoc $(INFO_DIR)/Master.info
197            $(LATEX_GEN) $(SRC_DIR)/os-process.mldoc
198    
199    $(LATEX_DIR)/os-io.tex: $(SRC_DIR)/os-io.mldoc $(INFO_DIR)/Master.info
200            $(LATEX_GEN) $(SRC_DIR)/os-io.mldoc
201    
202    $(LATEX_DIR)/cml-lib.tex:       $(SRC_DIR)/cml-lib.mldoc $(INFO_DIR)/Master.info
203            $(LATEX_GEN) $(SRC_DIR)/cml-lib.mldoc
204    
205    $(LATEX_DIR)/multicast.tex:     $(SRC_DIR)/multicast.mldoc $(INFO_DIR)/Master.info
206            $(LATEX_GEN) $(SRC_DIR)/multicast.mldoc
207    
208    $(LATEX_DIR)/trace-cml.tex:     $(SRC_DIR)/trace-cml.mldoc $(INFO_DIR)/Master.info
209            $(LATEX_GEN) $(SRC_DIR)/trace-cml.mldoc
210    
211    Proof:  $(PROOF_FILES)
212    
213    $(PROOF_DIR)/refman.tex:        $(SRC_DIR)/refman.mldoc $(INFO_DIR)/Master.info
214          $(PROOF) $(SRC_DIR)/refman.mldoc          $(PROOF) $(SRC_DIR)/refman.mldoc
215    
216  $(PROOF_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc CATALOG  $(PROOF_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info
217          $(PROOF) $(SRC_DIR)/basics.mldoc          $(PROOF) $(SRC_DIR)/basics.mldoc
218    
219  $(PROOF_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc CATALOG  $(PROOF_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info
220          $(PROOF) $(SRC_DIR)/porting.mldoc          $(PROOF) $(SRC_DIR)/porting.mldoc
221    
222  $(PROOF_DIR)/core-cml.tex:      $(SRC_DIR)/core-cml.mldoc CATALOG  $(PROOF_DIR)/core-cml.tex:      $(SRC_DIR)/core-cml.mldoc $(INFO_DIR)/Master.info
223          $(PROOF) $(SRC_DIR)/core-cml.mldoc          $(PROOF) $(SRC_DIR)/core-cml.mldoc
224    
225  $(PROOF_DIR)/cml.tex:   $(SRC_DIR)/cml.mldoc CATALOG  $(PROOF_DIR)/cml.tex:   $(SRC_DIR)/cml.mldoc $(INFO_DIR)/Master.info
226          $(PROOF) $(SRC_DIR)/cml.mldoc          $(PROOF) $(SRC_DIR)/cml.mldoc
227    
228  $(PROOF_DIR)/mailbox.tex:       $(SRC_DIR)/mailbox.mldoc CATALOG  $(PROOF_DIR)/mailbox.tex:       $(SRC_DIR)/mailbox.mldoc $(INFO_DIR)/Master.info
229          $(PROOF) $(SRC_DIR)/mailbox.mldoc          $(PROOF) $(SRC_DIR)/mailbox.mldoc
230    
231  $(PROOF_DIR)/sync-var.tex:      $(SRC_DIR)/sync-var.mldoc CATALOG  $(PROOF_DIR)/sync-var.tex:      $(SRC_DIR)/sync-var.mldoc $(INFO_DIR)/Master.info
232          $(PROOF) $(SRC_DIR)/sync-var.mldoc          $(PROOF) $(SRC_DIR)/sync-var.mldoc
233    
234  $(PROOF_DIR)/os.tex:    $(SRC_DIR)/os.mldoc CATALOG  $(PROOF_DIR)/os.tex:    $(SRC_DIR)/os.mldoc $(INFO_DIR)/Master.info
235          $(PROOF) $(SRC_DIR)/os.mldoc          $(PROOF) $(SRC_DIR)/os.mldoc
236    
237  $(PROOF_DIR)/os-process.tex:    $(SRC_DIR)/os-process.mldoc CATALOG  $(PROOF_DIR)/os-process.tex:    $(SRC_DIR)/os-process.mldoc $(INFO_DIR)/Master.info
238          $(PROOF) $(SRC_DIR)/os-process.mldoc          $(PROOF) $(SRC_DIR)/os-process.mldoc
239    
240  $(PROOF_DIR)/os-io.tex: $(SRC_DIR)/os-io.mldoc CATALOG  $(PROOF_DIR)/os-io.tex: $(SRC_DIR)/os-io.mldoc $(INFO_DIR)/Master.info
241          $(PROOF) $(SRC_DIR)/os-io.mldoc          $(PROOF) $(SRC_DIR)/os-io.mldoc
242    
243  $(PROOF_DIR)/cml-lib.tex:       $(SRC_DIR)/cml-lib.mldoc CATALOG  $(PROOF_DIR)/cml-lib.tex:       $(SRC_DIR)/cml-lib.mldoc $(INFO_DIR)/Master.info
244          $(PROOF) $(SRC_DIR)/cml-lib.mldoc          $(PROOF) $(SRC_DIR)/cml-lib.mldoc
245    
246  $(PROOF_DIR)/multicast.tex:     $(SRC_DIR)/lib/multicast.mldoc CATALOG  $(PROOF_DIR)/multicast.tex:     $(SRC_DIR)/multicast.mldoc $(INFO_DIR)/Master.info
247          $(PROOF) $(SRC_DIR)/lib/multicast.mldoc          $(PROOF) $(SRC_DIR)/multicast.mldoc
248    
249  $(PROOF_DIR)/trace-cml.tex:     $(SRC_DIR)/lib/trace-cml.mldoc CATALOG  $(PROOF_DIR)/trace-cml.tex:     $(SRC_DIR)/trace-cml.mldoc $(INFO_DIR)/Master.info
250          $(PROOF) $(SRC_DIR)/lib/trace-cml.mldoc          $(PROOF) $(SRC_DIR)/trace-cml.mldoc
251    
252  clean:  clean-info:
         rm -f $(PROOF_FILES)  
253          rm -f $(INFO_DIR)/Master.info $(INFO_FILES)          rm -f $(INFO_DIR)/Master.info $(INFO_FILES)
254    
255    clean-latex:
256            rm -f $(LATEX_FILES)
257            rm -f $(LATEX_GEN)/*.aux
258            rm -f $(LATEX_GEN)/*.bbl
259            rm -f $(LATEX_GEN)/*.blg
260            rm -f $(LATEX_GEN)/*.dvi
261            rm -f $(LATEX_GEN)/*.idx
262            rm -f $(LATEX_GEN)/*.ind
263            rm -f $(LATEX_GEN)/*.log
264            rm -f $(LATEX_GEN)/*.ps
265            rm -f $(LATEX_GEN)/*.toc
266    
267    clean-proof:
268            rm -f $(PROOF_FILES)
269            rm -f $(PROOF_GEN)/*.aux
270            rm -f $(PROOF_GEN)/*.bbl
271            rm -f $(PROOF_GEN)/*.blg
272            rm -f $(PROOF_GEN)/*.dvi
273            rm -f $(PROOF_GEN)/*.idx
274            rm -f $(PROOF_GEN)/*.ind
275            rm -f $(PROOF_GEN)/*.log
276            rm -f $(PROOF_GEN)/*.ps
277            rm -f $(PROOF_GEN)/*.toc
278    
279    clean-html:
280          rm -f $(HTML_FILES)          rm -f $(HTML_FILES)
281    
282    clean:  clean-html clean-info clean-latex clean-prrof
283    

Legend:
Removed from v.7  
changed lines
  Added in v.139

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