Index: /server/common/oursrc/execsys/upd-execsys
===================================================================
--- /server/common/oursrc/execsys/upd-execsys	(revision 616)
+++ /server/common/oursrc/execsys/upd-execsys	(revision 617)
@@ -63,4 +63,5 @@
  JPG
  xhtml
+ svg
 );