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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 816 - (view) (download)

1 : monnier 411 # Config.cfg
2 :     #
3 : jhr 816 # COPYRIGHT (c) 2000 Bell Labs, Lucent Technologies
4 :     #
5 :     # ML-Doc configuration file for SML/NJ Library documentation.
6 :     #
7 : monnier 411
8 :    
9 : jhr 816 #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 : monnier 411 MasterInfoFile "Info/Master.info"
12 :    
13 :     SML-Basis-Doc {
14 : jhr 816 # InfoFile "/home/sml/Doc/Basis/Info/Master.info"
15 :     InfoFile "/home/jhr/SGML/ML-Doc/Basis/Info/Master.info"
16 : monnier 411 BaseURL "www.cs.bell-labs.com/~jhr/sml/basis/pages"
17 :     RootURL "www.cs.bell-labs.com/~jhr/sml/basis/index.html"
18 :     }
19 :    
20 :     HTML {
21 :     BaseURL ""
22 : jhr 816 RelativeLinks TRUE
23 :     PreWid 70
24 : monnier 411 }
25 :     HTML-Gen {
26 :     Template "page.template"
27 :     }
28 :     HTML-Index {
29 :     Template "index.template"
30 :     }
31 :     HTML-TOC {
32 :     Template "toc.template"
33 :     }
34 :    
35 :     Proof-LaTeX {
36 :     TopLevelSection "Part"
37 :     }
38 :    

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