Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/cml/doc/Config.cfg
ViewVC logotype

Annotation of /sml/trunk/src/cml/doc/Config.cfg

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download)

1 : monnier 104 # Base.cfg
2 :     #
3 :     # base configuration file for the CML Reference Manual.
4 :     #
5 :    
6 :     Catalog "CATALOG"
7 :     MasterInfoFile "Info/Master.info"
8 :    
9 :     #
10 :     # paths to tools
11 :     #
12 :     Tools {
13 : monnier 139 SGMLS "/opt/default/bin/nsgmls"
14 : monnier 104 }
15 :    
16 :     #
17 :     # references to external documents
18 :     #
19 :     SML-Basis-Doc {
20 :     InfoFile "/home/sml/Doc/Basis/Info/Master.info"
21 :     BaseURL "www.cs.bell-labs.com/~jhr/sml/basis/pages"
22 :     RootURL "www.cs.bell-labs.com/~jhr/sml/basis/index.html"
23 :     }
24 :    
25 :     #
26 :     # tool specific options
27 :     #
28 :     HTML {
29 :     BaseURL "/cm/cs/what/smlnj/Basis"
30 :     PreWid 60
31 :     }
32 :     HTML-Gen {
33 :     Template "page.template"
34 :     }
35 :     HTML-Index {
36 :     Template "index.template"
37 :     }
38 :     HTML-TOC {
39 :     Template "toc.template"
40 :     }
41 :     Proof-LaTeX {
42 :     TopLevelSection "Chapter"
43 :     }

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