--- a/publish/processing.js	Mon Aug 06 11:49:15 2012 +1000
+++ b/publish/processing.js	Mon Aug 06 11:51:08 2012 +1000
@@ -29,7 +29,7 @@
     return;
   }
 
-  doc.getElementsByTagName('title')[0].textContent += ' – ' + conf.shortTitle;
+  doc.getElementsByTagName('title')[0].textContent += ' — ' + conf.shortTitle;
 };
 
 // -- Link to the W3C style sheet for the document's maturity -----------------