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/smlnj-lib/Doc/Config.cfg
ViewVC logotype

Diff of /sml/trunk/src/smlnj-lib/Doc/Config.cfg

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

revision 815, Fri May 4 05:09:10 2001 UTC revision 816, Fri May 4 16:37:36 2001 UTC
# Line 1  Line 1 
1  # Config.cfg  # Config.cfg
2  #  #
3    # COPYRIGHT (c) 2000 Bell Labs, Lucent Technologies
4    #
5    # ML-Doc configuration file for SML/NJ Library documentation.
6    #
7    
8    
9  Catalog         "/home/sml/Dev/jhr/109.x/src/smlnj-lib/Doc/CATALOG"  #Catalog                "/home/sml/Dev/jhr/109.x/src/smlnj-lib/Doc/CATALOG"
10    Catalog         "/home/jhr/sml/smlnj-lib/Dev/smlnj-lib/Doc/CATALOG"
11  MasterInfoFile  "Info/Master.info"  MasterInfoFile  "Info/Master.info"
12    
 Tools           {  
         SGMLS           "/opt/default/bin/nsgmls"  
 }  
   
13  SML-Basis-Doc   {  SML-Basis-Doc   {
14          InfoFile        "/home/sml/Doc/Basis/Info/Master.info"  #       InfoFile        "/home/sml/Doc/Basis/Info/Master.info"
15            InfoFile        "/home/jhr/SGML/ML-Doc/Basis/Info/Master.info"
16          BaseURL         "www.cs.bell-labs.com/~jhr/sml/basis/pages"          BaseURL         "www.cs.bell-labs.com/~jhr/sml/basis/pages"
17          RootURL         "www.cs.bell-labs.com/~jhr/sml/basis/index.html"          RootURL         "www.cs.bell-labs.com/~jhr/sml/basis/index.html"
18  }  }
19    
20  HTML            {  HTML            {
21          BaseURL         ""          BaseURL         ""
22          PreWid          60          RelativeLinks   TRUE
23            PreWid          70
24  }  }
25  HTML-Gen        {  HTML-Gen        {
26          Template        "page.template"          Template        "page.template"

Legend:
Removed from v.815  
changed lines
  Added in v.816

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