Copyright ©
Carey Evans.
Last modified: Tue, 10 February 2004.
None of these pages are entered directly as HTML. Instead, they’re entered in a subset of HTML using XML, which is then converted by a hairy Python script into the HTML that your web browser requests from the web server. You can browse the XML source, the DTDs or the Python code .
I use XEmacs, with its PSGML mode, for editing the XML source. My Python script uses the Gnome XSLT bindings for Python to convert the XML source into HTML, with a bit of extra help from EXSLT for date formatting. Finally, I use sitecopy to upload the resulting HTML to my ISP’s web server.
All my pages use the UTF-8 character encoding of Unicode. “Curly” quotes and dashes use the appropriate Unicode characters, which any web browser from the past five years should display very nicely.