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 106, Thu May 28 21:30:17 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  PROOF = $(MLDOC_BIN)/proof.sh
7    EXTRACT_INFO = $(MLDOC_BIN)/extract-info.sh
8  PROOF = $(SML) @SMLload=$(MLDOC_BIN)/proof-latex @SMLdebug=/dev/null  MERGE_INFO = $(MLDOC_BIN)/merge-info.sh
9  EXTRACT_INFO = $(SML) @SMLload=$(MLDOC_BIN)/extract-info @SMLdebug=/dev/null  HTML_GEN = $(MLDOC_BIN)/html-gen.sh
10  MERGE_INFO = $(SML) @SMLload=$(MLDOC_BIN)/merge-info @SMLdebug=/dev/null  HTML_INDEX = $(MLDOC_BIN)/html-index.sh
11  HTML_GEN = $(SML) @SMLload=$(MLDOC_BIN)/html-gen @SMLdebug=/dev/null  HTML_TOC = $(MLDOC_BIN)/html-toc.sh
 HTML_INDEX = $(SML) @SMLload=$(MLDOC_BIN)/html-index @SMLdebug=/dev/null  
12    
13  SRC_DIR = ML-Doc  SRC_DIR = ML-Doc
14  PROOF_DIR = Proof  PROOF_DIR = Proof
15  INFO_DIR = Info  INFO_DIR = Info
16  HTML_DIR = HTML  HTML_DIR = HTML
17    
18    CONFIG = Config.cfg CATALOG
19    INFO = $(CONFIG) $(INFO_DIR)/Master.info
20    
21  HTML_FILES =    $(HTML_DIR)/index-all.html \  HTML_FILES =    $(HTML_DIR)/index-all.html \
22            $(HTML_DIR)/toc.html \
23          $(HTML_DIR)/refman.html \          $(HTML_DIR)/refman.html \
24          $(HTML_DIR)/basics.html \          $(HTML_DIR)/basics.html \
25          $(HTML_DIR)/porting.html \          $(HTML_DIR)/porting.html \
# Line 61  Line 64 
64    
65  HTML:   $(HTML_FILES)  HTML:   $(HTML_FILES)
66    
67  $(HTML_DIR)/refman.html:        $(SRC_DIR)/refman.mldoc $(INFO_DIR)/Master.info  $(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          $(HTML_GEN) $(SRC_DIR)/refman.mldoc          $(HTML_GEN) $(SRC_DIR)/refman.mldoc
75    
76  $(HTML_DIR)/basics.html:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/basics.html:        $(SRC_DIR)/basics.mldoc $(INFO)
77          $(HTML_GEN) $(SRC_DIR)/basics.mldoc          $(HTML_GEN) $(SRC_DIR)/basics.mldoc
78    
79  $(HTML_DIR)/porting.html:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/porting.html:       $(SRC_DIR)/porting.mldoc $(INFO)
80          $(HTML_GEN) $(SRC_DIR)/porting.mldoc          $(HTML_GEN) $(SRC_DIR)/porting.mldoc
81    
82  $(HTML_DIR)/core-cml.html:      $(SRC_DIR)/core-cml.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/core-cml.html:      $(SRC_DIR)/core-cml.mldoc $(INFO)
83          $(HTML_GEN) $(SRC_DIR)/core-cml.mldoc          $(HTML_GEN) $(SRC_DIR)/core-cml.mldoc
84    
85  $(HTML_DIR)/cml.html:   $(SRC_DIR)/cml.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/cml.html:   $(SRC_DIR)/cml.mldoc $(INFO)
86          $(HTML_GEN) $(SRC_DIR)/cml.mldoc          $(HTML_GEN) $(SRC_DIR)/cml.mldoc
87    
88  $(HTML_DIR)/mailbox.html:       $(SRC_DIR)/mailbox.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/mailbox.html:       $(SRC_DIR)/mailbox.mldoc $(INFO)
89          $(HTML_GEN) $(SRC_DIR)/mailbox.mldoc          $(HTML_GEN) $(SRC_DIR)/mailbox.mldoc
90    
91  $(HTML_DIR)/sync-var.html:      $(SRC_DIR)/sync-var.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/sync-var.html:      $(SRC_DIR)/sync-var.mldoc $(INFO)
92          $(HTML_GEN) $(SRC_DIR)/sync-var.mldoc          $(HTML_GEN) $(SRC_DIR)/sync-var.mldoc
93    
94  $(HTML_DIR)/os.html:    $(SRC_DIR)/os.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/os.html:    $(SRC_DIR)/os.mldoc $(INFO)
95          $(HTML_GEN) $(SRC_DIR)/os.mldoc          $(HTML_GEN) $(SRC_DIR)/os.mldoc
96    
97  $(HTML_DIR)/os-process.html:    $(SRC_DIR)/os-process.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/os-process.html:    $(SRC_DIR)/os-process.mldoc $(INFO)
98          $(HTML_GEN) $(SRC_DIR)/os-process.mldoc          $(HTML_GEN) $(SRC_DIR)/os-process.mldoc
99    
100  $(HTML_DIR)/os-io.html: $(SRC_DIR)/os-io.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/os-io.html: $(SRC_DIR)/os-io.mldoc $(INFO)
101          $(HTML_GEN) $(SRC_DIR)/os-io.mldoc          $(HTML_GEN) $(SRC_DIR)/os-io.mldoc
102    
103  $(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)
104          $(HTML_GEN) $(SRC_DIR)/cml-lib.mldoc          $(HTML_GEN) $(SRC_DIR)/cml-lib.mldoc
105    
106  $(HTML_DIR)/multicast.html:     $(SRC_DIR)/lib/multicast.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/multicast.html:     $(SRC_DIR)/multicast.mldoc $(INFO)
107          $(HTML_GEN) $(SRC_DIR)/lib/multicast.mldoc          $(HTML_GEN) $(SRC_DIR)/multicast.mldoc
   
 $(HTML_DIR)/trace-cml.html:     $(SRC_DIR)/lib/trace-cml.mldoc $(INFO_DIR)/Master.info  
         $(HTML_GEN) $(SRC_DIR)/lib/trace-cml.mldoc  
108    
109  $(HTML_DIR)/index-all.html:     $(INFO_DIR)/Master.info  $(HTML_DIR)/trace-cml.html:     $(SRC_DIR)/trace-cml.mldoc $(INFO)
110          $(HTML_INDEX) -all          $(HTML_GEN) $(SRC_DIR)/trace-cml.mldoc
111    
112  $(INFO_DIR)/Master.info:        $(INFO_FILES)  $(INFO_DIR)/Master.info:        $(INFO_FILES)
113          $(MERGE_INFO) $(INFO_FILES)          $(MERGE_INFO) $(INFO_FILES)
114    
115  $(INFO_DIR)/refman.info:        $(SRC_DIR)/refman.mldoc CATALOG  $(INFO_DIR)/refman.info:        $(SRC_DIR)/refman.mldoc $(CONFIG)
116          $(EXTRACT_INFO) $(SRC_DIR)/refman.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/refman.mldoc
117    
118  $(INFO_DIR)/basics.info:        $(SRC_DIR)/basics.mldoc CATALOG  $(INFO_DIR)/basics.info:        $(SRC_DIR)/basics.mldoc $(CONFIG)
119          $(EXTRACT_INFO) $(SRC_DIR)/basics.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/basics.mldoc
120    
121  $(INFO_DIR)/porting.info:       $(SRC_DIR)/porting.mldoc CATALOG  $(INFO_DIR)/porting.info:       $(SRC_DIR)/porting.mldoc $(CONFIG)
122          $(EXTRACT_INFO) $(SRC_DIR)/porting.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/porting.mldoc
123    
124  $(INFO_DIR)/core-cml.info:      $(SRC_DIR)/core-cml.mldoc CATALOG  $(INFO_DIR)/core-cml.info:      $(SRC_DIR)/core-cml.mldoc $(CONFIG)
125          $(EXTRACT_INFO) $(SRC_DIR)/core-cml.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/core-cml.mldoc
126    
127  $(INFO_DIR)/cml.info:   $(SRC_DIR)/cml.mldoc CATALOG  $(INFO_DIR)/cml.info:   $(SRC_DIR)/cml.mldoc $(CONFIG)
128          $(EXTRACT_INFO) $(SRC_DIR)/cml.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/cml.mldoc
129    
130  $(INFO_DIR)/mailbox.info:       $(SRC_DIR)/mailbox.mldoc CATALOG  $(INFO_DIR)/mailbox.info:       $(SRC_DIR)/mailbox.mldoc $(CONFIG)
131          $(EXTRACT_INFO) $(SRC_DIR)/mailbox.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/mailbox.mldoc
132    
133  $(INFO_DIR)/sync-var.info:      $(SRC_DIR)/sync-var.mldoc CATALOG  $(INFO_DIR)/sync-var.info:      $(SRC_DIR)/sync-var.mldoc $(CONFIG)
134          $(EXTRACT_INFO) $(SRC_DIR)/sync-var.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/sync-var.mldoc
135    
136  $(INFO_DIR)/os.info:    $(SRC_DIR)/os.mldoc CATALOG  $(INFO_DIR)/os.info:    $(SRC_DIR)/os.mldoc $(CONFIG)
137          $(EXTRACT_INFO) $(SRC_DIR)/os.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/os.mldoc
138    
139  $(INFO_DIR)/os-process.info:    $(SRC_DIR)/os-process.mldoc CATALOG  $(INFO_DIR)/os-process.info:    $(SRC_DIR)/os-process.mldoc $(CONFIG)
140          $(EXTRACT_INFO) $(SRC_DIR)/os-process.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/os-process.mldoc
141    
142  $(INFO_DIR)/os-io.info: $(SRC_DIR)/os-io.mldoc CATALOG  $(INFO_DIR)/os-io.info: $(SRC_DIR)/os-io.mldoc $(CONFIG)
143          $(EXTRACT_INFO) $(SRC_DIR)/os-io.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/os-io.mldoc
144    
145  $(INFO_DIR)/cml-lib.info:       $(SRC_DIR)/cml-lib.mldoc CATALOG  $(INFO_DIR)/cml-lib.info:       $(SRC_DIR)/cml-lib.mldoc $(CONFIG)
146          $(EXTRACT_INFO) $(SRC_DIR)/cml-lib.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/cml-lib.mldoc
147    
148  $(INFO_DIR)/multicast.info:     $(SRC_DIR)/lib/multicast.mldoc CATALOG  $(INFO_DIR)/multicast.info:     $(SRC_DIR)/multicast.mldoc $(CONFIG)
149          $(EXTRACT_INFO) $(SRC_DIR)/lib/multicast.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/multicast.mldoc
150    
151  $(INFO_DIR)/trace-cml.info:     $(SRC_DIR)/lib/trace-cml.mldoc CATALOG  $(INFO_DIR)/trace-cml.info:     $(SRC_DIR)/trace-cml.mldoc $(CONFIG)
152          $(EXTRACT_INFO) $(SRC_DIR)/lib/trace-cml.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/trace-cml.mldoc
153    
154  Proof:  $(ProofFiles)  Proof:  $(ProofFiles)
155    
156  $(PROOF_DIR)/refman.tex:        $(SRC_DIR)/refman.mldoc CATALOG  $(PROOF_DIR)/refman.tex:        $(SRC_DIR)/refman.mldoc $(INFO)
157          $(PROOF) $(SRC_DIR)/refman.mldoc          $(PROOF) $(SRC_DIR)/refman.mldoc
158    
159  $(PROOF_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc CATALOG  $(PROOF_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc $(INFO)
160          $(PROOF) $(SRC_DIR)/basics.mldoc          $(PROOF) $(SRC_DIR)/basics.mldoc
161    
162  $(PROOF_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc CATALOG  $(PROOF_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc $(INFO)
163          $(PROOF) $(SRC_DIR)/porting.mldoc          $(PROOF) $(SRC_DIR)/porting.mldoc
164    
165  $(PROOF_DIR)/core-cml.tex:      $(SRC_DIR)/core-cml.mldoc CATALOG  $(PROOF_DIR)/core-cml.tex:      $(SRC_DIR)/core-cml.mldoc $(INFO)
166          $(PROOF) $(SRC_DIR)/core-cml.mldoc          $(PROOF) $(SRC_DIR)/core-cml.mldoc
167    
168  $(PROOF_DIR)/cml.tex:   $(SRC_DIR)/cml.mldoc CATALOG  $(PROOF_DIR)/cml.tex:   $(SRC_DIR)/cml.mldoc $(INFO)
169          $(PROOF) $(SRC_DIR)/cml.mldoc          $(PROOF) $(SRC_DIR)/cml.mldoc
170    
171  $(PROOF_DIR)/mailbox.tex:       $(SRC_DIR)/mailbox.mldoc CATALOG  $(PROOF_DIR)/mailbox.tex:       $(SRC_DIR)/mailbox.mldoc $(INFO)
172          $(PROOF) $(SRC_DIR)/mailbox.mldoc          $(PROOF) $(SRC_DIR)/mailbox.mldoc
173    
174  $(PROOF_DIR)/sync-var.tex:      $(SRC_DIR)/sync-var.mldoc CATALOG  $(PROOF_DIR)/sync-var.tex:      $(SRC_DIR)/sync-var.mldoc $(INFO)
175          $(PROOF) $(SRC_DIR)/sync-var.mldoc          $(PROOF) $(SRC_DIR)/sync-var.mldoc
176    
177  $(PROOF_DIR)/os.tex:    $(SRC_DIR)/os.mldoc CATALOG  $(PROOF_DIR)/os.tex:    $(SRC_DIR)/os.mldoc $(INFO)
178          $(PROOF) $(SRC_DIR)/os.mldoc          $(PROOF) $(SRC_DIR)/os.mldoc
179    
180  $(PROOF_DIR)/os-process.tex:    $(SRC_DIR)/os-process.mldoc CATALOG  $(PROOF_DIR)/os-process.tex:    $(SRC_DIR)/os-process.mldoc $(INFO)
181          $(PROOF) $(SRC_DIR)/os-process.mldoc          $(PROOF) $(SRC_DIR)/os-process.mldoc
182    
183  $(PROOF_DIR)/os-io.tex: $(SRC_DIR)/os-io.mldoc CATALOG  $(PROOF_DIR)/os-io.tex: $(SRC_DIR)/os-io.mldoc $(INFO)
184          $(PROOF) $(SRC_DIR)/os-io.mldoc          $(PROOF) $(SRC_DIR)/os-io.mldoc
185    
186  $(PROOF_DIR)/cml-lib.tex:       $(SRC_DIR)/cml-lib.mldoc CATALOG  $(PROOF_DIR)/cml-lib.tex:       $(SRC_DIR)/cml-lib.mldoc $(INFO)
187          $(PROOF) $(SRC_DIR)/cml-lib.mldoc          $(PROOF) $(SRC_DIR)/cml-lib.mldoc
188    
189  $(PROOF_DIR)/multicast.tex:     $(SRC_DIR)/lib/multicast.mldoc CATALOG  $(PROOF_DIR)/multicast.tex:     $(SRC_DIR)/multicast.mldoc $(INFO)
190          $(PROOF) $(SRC_DIR)/lib/multicast.mldoc          $(PROOF) $(SRC_DIR)/multicast.mldoc
191    
192  $(PROOF_DIR)/trace-cml.tex:     $(SRC_DIR)/lib/trace-cml.mldoc CATALOG  $(PROOF_DIR)/trace-cml.tex:     $(SRC_DIR)/trace-cml.mldoc $(INFO)
193          $(PROOF) $(SRC_DIR)/lib/trace-cml.mldoc          $(PROOF) $(SRC_DIR)/trace-cml.mldoc
194    
195  clean:  clean:
196          rm -f $(PROOF_FILES)          rm -f $(PROOF_FILES)

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

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