Chris@0: Use makehtml to generate the specification.
Chris@0: 
Chris@0: Note that it is using a slightly hacked version of SpecGen5,
Chris@0: so that instances are displayed without namespace prefixes
Chris@0: uniformly, whether they are using the the ontology's prefix
Chris@0: or not. Before the hack this was inconsistent.