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

revision 843, Tue Jun 19 21:53:04 2001 UTC revision 844, Wed Jun 20 20:39:15 2001 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 = /n/bopp/shome/jhr/SGML/ML-Doc/bin
5    
6  EXTRACT_INFO = $(MLDOC_BIN)/extract-info.sh  EXTRACT_INFO = $(MLDOC_BIN)/extract-info
7  HTML_GEN = $(MLDOC_BIN)/html-gen.sh  HTML_GEN = $(MLDOC_BIN)/html-gen
8  HTML_INDEX = $(MLDOC_BIN)/html-index.sh  HTML_INDEX = $(MLDOC_BIN)/html-index
9  HTML_TOC = $(MLDOC_BIN)/html-toc.sh  HTML_TOC = $(MLDOC_BIN)/html-toc
10  LATEX_GEN = $(MLDOC_BIN)/latex-gen.sh  LATEX_GEN = $(MLDOC_BIN)/latex-gen
11  MERGE_INFO = $(MLDOC_BIN)/merge-info.sh  MERGE_INFO = $(MLDOC_BIN)/merge-info
12  PROOF = $(MLDOC_BIN)/proof.sh  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
17  INFO_DIR = Info  INFO_DIR = Info
# Line 24  Line 26 
26          $(HTML_DIR)/toc.html \          $(HTML_DIR)/toc.html \
27          $(HTML_DIR)/refman.html \          $(HTML_DIR)/refman.html \
28          $(HTML_DIR)/basics.html \          $(HTML_DIR)/basics.html \
         $(HTML_DIR)/running.html \  
29          $(HTML_DIR)/porting.html \          $(HTML_DIR)/porting.html \
30          $(HTML_DIR)/core-cml.html \          $(HTML_DIR)/core-cml.html \
31          $(HTML_DIR)/cml.html \          $(HTML_DIR)/cml.html \
# Line 39  Line 40 
40    
41  INFO_FILES =    $(INFO_DIR)/refman.info \  INFO_FILES =    $(INFO_DIR)/refman.info \
42          $(INFO_DIR)/basics.info \          $(INFO_DIR)/basics.info \
         $(INFO_DIR)/running.info \  
43          $(INFO_DIR)/porting.info \          $(INFO_DIR)/porting.info \
44          $(INFO_DIR)/core-cml.info \          $(INFO_DIR)/core-cml.info \
45          $(INFO_DIR)/cml.info \          $(INFO_DIR)/cml.info \
# Line 54  Line 54 
54    
55  LATEX_FILES =   $(LATEX_DIR)/refman.tex \  LATEX_FILES =   $(LATEX_DIR)/refman.tex \
56          $(LATEX_DIR)/basics.tex \          $(LATEX_DIR)/basics.tex \
         $(LATEX_DIR)/running.tex \  
57          $(LATEX_DIR)/porting.tex \          $(LATEX_DIR)/porting.tex \
58          $(LATEX_DIR)/core-cml.tex \          $(LATEX_DIR)/core-cml.tex \
59          $(LATEX_DIR)/cml.tex \          $(LATEX_DIR)/cml.tex \
# Line 69  Line 68 
68    
69  PROOF_FILES =   $(PROOF_DIR)/refman.tex \  PROOF_FILES =   $(PROOF_DIR)/refman.tex \
70          $(PROOF_DIR)/basics.tex \          $(PROOF_DIR)/basics.tex \
         $(PROOF_DIR)/running.tex \  
71          $(PROOF_DIR)/porting.tex \          $(PROOF_DIR)/porting.tex \
72          $(PROOF_DIR)/core-cml.tex \          $(PROOF_DIR)/core-cml.tex \
73          $(PROOF_DIR)/cml.tex \          $(PROOF_DIR)/cml.tex \
# Line 96  Line 94 
94  $(HTML_DIR)/basics.html:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/basics.html:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info
95          $(HTML_GEN) $(SRC_DIR)/basics.mldoc          $(HTML_GEN) $(SRC_DIR)/basics.mldoc
96    
 $(HTML_DIR)/running.html:       $(SRC_DIR)/running.mldoc $(INFO_DIR)/Master.info  
         $(HTML_GEN) $(SRC_DIR)/running.mldoc  
   
97  $(HTML_DIR)/porting.html:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info  $(HTML_DIR)/porting.html:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info
98          $(HTML_GEN) $(SRC_DIR)/porting.mldoc          $(HTML_GEN) $(SRC_DIR)/porting.mldoc
99    
# Line 141  Line 136 
136  $(INFO_DIR)/basics.info:        $(SRC_DIR)/basics.mldoc $(CONFIG)  $(INFO_DIR)/basics.info:        $(SRC_DIR)/basics.mldoc $(CONFIG)
137          $(EXTRACT_INFO) $(SRC_DIR)/basics.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/basics.mldoc
138    
 $(INFO_DIR)/running.info:       $(SRC_DIR)/running.mldoc $(CONFIG)  
         $(EXTRACT_INFO) $(SRC_DIR)/running.mldoc  
   
139  $(INFO_DIR)/porting.info:       $(SRC_DIR)/porting.mldoc $(CONFIG)  $(INFO_DIR)/porting.info:       $(SRC_DIR)/porting.mldoc $(CONFIG)
140          $(EXTRACT_INFO) $(SRC_DIR)/porting.mldoc          $(EXTRACT_INFO) $(SRC_DIR)/porting.mldoc
141    
# Line 185  Line 177 
177  $(LATEX_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info  $(LATEX_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info
178          $(LATEX_GEN) $(SRC_DIR)/basics.mldoc          $(LATEX_GEN) $(SRC_DIR)/basics.mldoc
179    
 $(LATEX_DIR)/running.tex:       $(SRC_DIR)/running.mldoc $(INFO_DIR)/Master.info  
         $(LATEX_GEN) $(SRC_DIR)/running.mldoc  
   
180  $(LATEX_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info  $(LATEX_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info
181          $(LATEX_GEN) $(SRC_DIR)/porting.mldoc          $(LATEX_GEN) $(SRC_DIR)/porting.mldoc
182    
# Line 224  Line 213 
213  Proof:  $(PROOF_FILES)  Proof:  $(PROOF_FILES)
214    
215  $(PROOF_DIR)/refman.tex:        $(SRC_DIR)/refman.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/refman.tex:        $(SRC_DIR)/refman.mldoc $(INFO_DIR)/Master.info
216          $(PROOF) $(SRC_DIR)/refman.mldoc          $(PROOF_LATEX) $(SRC_DIR)/refman.mldoc
217    
218  $(PROOF_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/basics.tex:        $(SRC_DIR)/basics.mldoc $(INFO_DIR)/Master.info
219          $(PROOF) $(SRC_DIR)/basics.mldoc          $(PROOF_LATEX) $(SRC_DIR)/basics.mldoc
   
 $(PROOF_DIR)/running.tex:       $(SRC_DIR)/running.mldoc $(INFO_DIR)/Master.info  
         $(PROOF) $(SRC_DIR)/running.mldoc  
220    
221  $(PROOF_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/porting.tex:       $(SRC_DIR)/porting.mldoc $(INFO_DIR)/Master.info
222          $(PROOF) $(SRC_DIR)/porting.mldoc          $(PROOF_LATEX) $(SRC_DIR)/porting.mldoc
223    
224  $(PROOF_DIR)/core-cml.tex:      $(SRC_DIR)/core-cml.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/core-cml.tex:      $(SRC_DIR)/core-cml.mldoc $(INFO_DIR)/Master.info
225          $(PROOF) $(SRC_DIR)/core-cml.mldoc          $(PROOF_LATEX) $(SRC_DIR)/core-cml.mldoc
226    
227  $(PROOF_DIR)/cml.tex:   $(SRC_DIR)/cml.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/cml.tex:   $(SRC_DIR)/cml.mldoc $(INFO_DIR)/Master.info
228          $(PROOF) $(SRC_DIR)/cml.mldoc          $(PROOF_LATEX) $(SRC_DIR)/cml.mldoc
229    
230  $(PROOF_DIR)/mailbox.tex:       $(SRC_DIR)/mailbox.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/mailbox.tex:       $(SRC_DIR)/mailbox.mldoc $(INFO_DIR)/Master.info
231          $(PROOF) $(SRC_DIR)/mailbox.mldoc          $(PROOF_LATEX) $(SRC_DIR)/mailbox.mldoc
232    
233  $(PROOF_DIR)/sync-var.tex:      $(SRC_DIR)/sync-var.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/sync-var.tex:      $(SRC_DIR)/sync-var.mldoc $(INFO_DIR)/Master.info
234          $(PROOF) $(SRC_DIR)/sync-var.mldoc          $(PROOF_LATEX) $(SRC_DIR)/sync-var.mldoc
235    
236  $(PROOF_DIR)/os.tex:    $(SRC_DIR)/os.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/os.tex:    $(SRC_DIR)/os.mldoc $(INFO_DIR)/Master.info
237          $(PROOF) $(SRC_DIR)/os.mldoc          $(PROOF_LATEX) $(SRC_DIR)/os.mldoc
238    
239  $(PROOF_DIR)/os-process.tex:    $(SRC_DIR)/os-process.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/os-process.tex:    $(SRC_DIR)/os-process.mldoc $(INFO_DIR)/Master.info
240          $(PROOF) $(SRC_DIR)/os-process.mldoc          $(PROOF_LATEX) $(SRC_DIR)/os-process.mldoc
241    
242  $(PROOF_DIR)/os-io.tex: $(SRC_DIR)/os-io.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/os-io.tex: $(SRC_DIR)/os-io.mldoc $(INFO_DIR)/Master.info
243          $(PROOF) $(SRC_DIR)/os-io.mldoc          $(PROOF_LATEX) $(SRC_DIR)/os-io.mldoc
244    
245  $(PROOF_DIR)/cml-lib.tex:       $(SRC_DIR)/cml-lib.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/cml-lib.tex:       $(SRC_DIR)/cml-lib.mldoc $(INFO_DIR)/Master.info
246          $(PROOF) $(SRC_DIR)/cml-lib.mldoc          $(PROOF_LATEX) $(SRC_DIR)/cml-lib.mldoc
247    
248  $(PROOF_DIR)/multicast.tex:     $(SRC_DIR)/multicast.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/multicast.tex:     $(SRC_DIR)/multicast.mldoc $(INFO_DIR)/Master.info
249          $(PROOF) $(SRC_DIR)/multicast.mldoc          $(PROOF_LATEX) $(SRC_DIR)/multicast.mldoc
250    
251  $(PROOF_DIR)/trace-cml.tex:     $(SRC_DIR)/trace-cml.mldoc $(INFO_DIR)/Master.info  $(PROOF_DIR)/trace-cml.tex:     $(SRC_DIR)/trace-cml.mldoc $(INFO_DIR)/Master.info
252          $(PROOF) $(SRC_DIR)/trace-cml.mldoc          $(PROOF_LATEX) $(SRC_DIR)/trace-cml.mldoc
253    
254  clean-info:  clean-info:
255          rm -f $(INFO_DIR)/Master.info $(INFO_FILES)          rm -f $(INFO_DIR)/Master.info $(INFO_FILES)

Legend:
Removed from v.843  
changed lines
  Added in v.844

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