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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2538 - (view) (download)

1 : monnier 411 # Config.cfg
2 :     #
3 : jhr 2535 # COPYRIGHT (c) 2007 The SML of NJ Fellowship
4 : jhr 816 #
5 :     # ML-Doc configuration file for SML/NJ Library documentation.
6 :     #
7 : monnier 411
8 :    
9 : jhr 2535 Catalog "CATALOG"
10 : jhr 2538 # MasterInfoFile "Info/Master.info"
11 : monnier 411
12 :     SML-Basis-Doc {
13 : jhr 816 # InfoFile "/home/sml/Doc/Basis/Info/Master.info"
14 : jhr 2538 InfoFile "BasisInfo/HTML.info"
15 : jhr 2535 BaseURL "standardml.org/Basis/"
16 :     RootURL "standardml.org/Basis/index.html"
17 : monnier 411 }
18 :    
19 :     HTML {
20 :     BaseURL ""
21 : jhr 816 RelativeLinks TRUE
22 :     PreWid 70
23 : monnier 411 }
24 :     HTML-Gen {
25 :     Template "page.template"
26 :     }
27 :     HTML-Index {
28 :     Template "index.template"
29 :     }
30 :     HTML-TOC {
31 :     Template "toc.template"
32 :     }
33 :    
34 :     Proof-LaTeX {
35 :     TopLevelSection "Part"
36 :     }
37 :    

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