Fix AppImage .desktop file again.

diff --git a/cscript b/cscript
index a2a23d3b7ad0478b62f324dcf7cf71b22dd4fba6..c38528143f07926c54ab64557a8eea65272fe149 100644 (file)
--- a/cscript
+++ b/cscript
@@ -600,7 +600,7 @@ def make_appimage(target, nice_name, internal_name, version):
     with open('build/%s.AppDir/%s.desktop' % (nice_filename, internal_name), 'w') as f:
         print('[Desktop Entry]', file=f)
         print('Type=Application', file=f)
-        print('Categories=AudioVideo', file=f)
+        print('Categories=AudioVideo;', file=f)
         print('Name=%s' % nice_name, file=f)
         print('Icon=%s' % internal_name, file=f)
     target.command('cp graphics/linux/256/%s.png build/%s.AppDir' % (internal_name, nice_filename))