Producing HTML Documents with Scribe
The HTML <TITLE> tag is automatically generated from the @MakeDocument,
@MakeChapter, and @MakeSection commands, using the appropriate title as the
HTML document title. If your document is going to be indexed (for example, by
an automated web-walking program, then these titles probably won't make any
sense outside the context of your document.
If you set the string titleprefix:
10. The <TITLE> Tag
@string(titleprefix="Scribe to HTML: ")
then that value will be prepended to each <TITLE>. If you are viewing this
report via the Web, you can see the effect of this by looking at the document
title for this page. Note that the trailing space in the string is
significant.
Copyright (C) 1993, 1994 Digital Equipment Corporation
Glenn Trewitt, trewitt@pa.dec.com