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

SCM Repository

[smlnj] View of /smlnj-lib/trunk/Doc/Config.cfg
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2535 - (download) (annotate)
Thu May 10 14:42:51 2007 UTC (12 years, 4 months ago) by jhr
File size: 603 byte(s)
  Working on configuration
# Config.cfg
#
# COPYRIGHT (c) 2007 The SML of NJ Fellowship
#
# ML-Doc configuration file for SML/NJ Library documentation.
#


Catalog		"CATALOG"
MasterInfoFile	"Info/Master.info"

SML-Basis-Doc	{
#	InfoFile	"/home/sml/Doc/Basis/Info/Master.info"
	InfoFile	"/home/jhr/SGML/ML-Doc/Basis/Info/Master.info"
	BaseURL		"standardml.org/Basis/"
	RootURL		"standardml.org/Basis/index.html"
}

HTML		{
	BaseURL		""
	RelativeLinks	TRUE
	PreWid		70
}
HTML-Gen	{
	Template	"page.template"
}
HTML-Index	{
	Template	"index.template"
}
HTML-TOC	{
	Template	"toc.template"
}

Proof-LaTeX	{
	TopLevelSection	"Part"
}


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