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 /sml/trunk/src/cml/doc/Config.cfg
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 140 - (download) (annotate)
Mon Sep 7 21:11:35 1998 UTC (21 years, 11 months ago) by monnier
File size: 661 byte(s)
This commit was generated by cvs2svn to compensate for changes in r139,
which included commits to RCS files with non-trunk default branches.
# Base.cfg
#
# base configuration file for the CML Reference Manual.
#

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

#
# paths to tools
#
Tools		{
	SGMLS		"/opt/default/bin/nsgmls"
}

#
# references to external documents
#
SML-Basis-Doc	{
	InfoFile	"/home/sml/Doc/Basis/Info/Master.info"
	BaseURL		"www.cs.bell-labs.com/~jhr/sml/basis/pages"
	RootURL		"www.cs.bell-labs.com/~jhr/sml/basis/index.html"
}

#
# tool specific options
#
HTML		{
	BaseURL		"/cm/cs/what/smlnj/Basis"
	PreWid		60
}
HTML-Gen	{
	Template	"page.template"
}
HTML-Index	{
	Template	"index.template"
}
HTML-TOC	{
	Template	"toc.template"
}
Proof-LaTeX	{
	TopLevelSection	"Chapter"
}

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