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 /cml/releases/release-110.65/doc/Config.cfg
ViewVC logotype

View of /cml/releases/release-110.65/doc/Config.cfg

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2710 - (download) (annotate)
Fri Jun 8 04:28:22 2007 UTC (13 years, 4 months ago) by blume
File size: 629 byte(s)
Release 110.65
# Config.cfg
#
# base configuration file for the CML Reference Manual.

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

#
# references to external documents
#
SML-Basis-Doc	{
	InfoFile	"/Users/jhr/Work/sml-basis/Basis/Info/HTML.info"
	BaseURL		"SML.sourceforge.net/Basis"
	RootURL		"SML.sourceforge.net/Basis/index.html"
}

#
# tool specific options
#
HTML		{
	BaseURL		"CML"
	RelativeLinks	TRUE
	PreWid		70
}
HTML-Gen	{
	Template	"page.template"
}
HTML-Index	{
	Template	"index.template"
}
HTML-TOC	{
	Template	"toc.template"
}

Proof-LaTeX	{
	TopLevelSection	"Chapter"
}

#Tools		{
#	SGMLS		"/opt/default/bin/nsgmls"
#}


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