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/branches/SMLNJ/src/cml/doc/Makefile revision 139, Mon Sep 7 21:11:35 1998 UTC sml/trunk/src/cml/doc/Makefile 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 211  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
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)
256    
257  clean-latex:  clean-latex:
258          rm -f $(LATEX_FILES)          rm -f $(LATEX_FILES)
259          rm -f $(LATEX_GEN)/*.aux          rm -f $(LATEX_DIR)/*.aux
260          rm -f $(LATEX_GEN)/*.bbl          rm -f $(LATEX_DIR)/*.bbl
261          rm -f $(LATEX_GEN)/*.blg          rm -f $(LATEX_DIR)/*.blg
262          rm -f $(LATEX_GEN)/*.dvi          rm -f $(LATEX_DIR)/*.dvi
263          rm -f $(LATEX_GEN)/*.idx          rm -f $(LATEX_DIR)/*.idx
264          rm -f $(LATEX_GEN)/*.ind          rm -f $(LATEX_DIR)/*.ilg
265          rm -f $(LATEX_GEN)/*.log          rm -f $(LATEX_DIR)/*.ind
266          rm -f $(LATEX_GEN)/*.ps          rm -f $(LATEX_DIR)/*.log
267          rm -f $(LATEX_GEN)/*.toc          rm -f $(LATEX_DIR)/*.ps
268            rm -f $(LATEX_DIR)/*.toc
269    
270  clean-proof:  clean-proof:
271          rm -f $(PROOF_FILES)          rm -f $(PROOF_FILES)
272          rm -f $(PROOF_GEN)/*.aux          rm -f $(PROOF_DIR)/*.aux
273          rm -f $(PROOF_GEN)/*.bbl          rm -f $(PROOF_DIR)/*.bbl
274          rm -f $(PROOF_GEN)/*.blg          rm -f $(PROOF_DIR)/*.blg
275          rm -f $(PROOF_GEN)/*.dvi          rm -f $(PROOF_DIR)/*.dvi
276          rm -f $(PROOF_GEN)/*.idx          rm -f $(PROOF_DIR)/*.idx
277          rm -f $(PROOF_GEN)/*.ind          rm -f $(PROOF_DIR)/*.ilg
278          rm -f $(PROOF_GEN)/*.log          rm -f $(PROOF_DIR)/*.ind
279          rm -f $(PROOF_GEN)/*.ps          rm -f $(PROOF_DIR)/*.log
280          rm -f $(PROOF_GEN)/*.toc          rm -f $(PROOF_DIR)/*.ps
281            rm -f $(PROOF_DIR)/*.toc
282    
283  clean-html:  clean-html:
284          rm -f $(HTML_FILES)          rm -f $(HTML_FILES)
285    
286  clean:  clean-html clean-info clean-latex clean-prrof  clean:  clean-html clean-info clean-latex clean-proof
287    

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

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