Index: server/common/oursrc/execsys/upd-execsys
===================================================================
--- server/common/oursrc/execsys/upd-execsys	(revision 302)
+++ server/common/oursrc/execsys/upd-execsys	(revision 315)
@@ -62,4 +62,5 @@
  il
  JPG
+ xhtml
 );