1 files changed, 2 insertions, 2 deletions
diff --git a/header.st b/header.st
index 16d1864..146addf 100644
--- a/header.st
+++ b/header.st
@@ -9,9 +9,9 @@
 
 <body>
 
-<!--
+$!
 Local Variables:
   mode: html
   coding: utf-8
 End:
--->
+!$