To use GLOSS to write (X)HTML rather than XML, use the gloss-html or gloss-xhtml commands. These read an MV called html.mv or xhtml.mv either in the current directory (if there is one) or from the <gloss-directory>/lib directory (if not).
This MV, html.mv or xhtml.mv, should load the GLOSS-xml modes and also various html modules. Thus all the standard GLOSS-xml syntax will be available. The html modules ensure the correct XML, DOCTYPE and namespace declarations for XHTML 1.1 are added automatically so you don't need to worry about these. They also provide many convenient features, such as metadata, sectioning, cross-referencing, and automatic numbering, implemented within valid XHTML.
Thus an input of the form
html {
head {
title [The GLOSS-html system]
};head
body {
h1 [The GLOSS-html system]
p [To use GLOSS to write (X)HTML rather than XML, use
the gloss-html or gloss-xhtml commands. These read
an MV called html.mv or xhtml.mv either in the current
directory (if there is one) or from the <gloss-directory>/mv/html
directory (if not).]
p [...]
};body
};html
generates output similar to
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html
PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd" >
<html xmlns="http://www.w3.org/1999/xhtml">
<head profile="http://dublincore.org/documents/dcq-html/"><link href="http://purl.org/dc/elements/1.1/" rel="schema.DC"/>
<link href="http://purl.org/dc/terms/" rel="schema.DCTERMS"/>
<link href="html.css" rel="stylesheet" title="CSS Stylesheet" type="text/css"/>
<title>The GLOSS-html system</title>
<meta content="The GLOSS-html system" name="DC.title"/>
</head>
<body><h1>The GLOSS-html system</h1><div class="paragraph"><p>To use GLOSS to write (X)HTML rather than XML, use
the gloss-html or gloss-xhtml commands. These read
an MV called html.mv or xhtml.mv either in the current
directory (if there is one) or from the <gloss-directory>/mv/html
directory (if not).</p></div><div class="paragraph"><p>...</p></div></body>
</html>
The page you are reading now was generated in this way.
It is a matter of taste whether the small savings of time and verbosity of the input file, and small improvements in readability, are worth an extra processing step for a simple document like this. However, GLOSS-html has a number of extension mudules, for dublin-core metadata, sectioning, cross-referencing, titles, theorems, proofs, and others, or you can write your own extension modules for a group of HTML pages. These genuinely do help improve the consistency and maintenence of your documents, as well as the speed of writing them.
This page is copyright. Web page design and creation by GLOSS.