policy §9.6: .desktop vs .menu

[Adam Borowski <kilobyte@angband.pl>]

Thanks to well-designed wording of the new change in Policy §9.6, I must
applaud this solution for matching the requirement:


diff -Nru terminal.app-0.9.8.1/debian/changelog terminal.app-0.9.9/debian/changelog
--- terminal.app-0.9.8.1/debian/changelog       2017-05-03 09:49:30.000000000 +0200
+++ terminal.app-0.9.9/debian/changelog 2017-08-07 11:34:42.000000000 +0200
@@ -1,3 +1,12 @@
+terminal.app (0.9.9-1) unstable; urgency=medium
+
+  * New upstream version.
+  * Bump standards version to 4.0.0.
+  * Bump debhelper version to 10.
+  * Drop desktop file, fixes lintian warning.
+
+ -- Gürkan Myczko <gurkan@phys.ethz.ch>  Mon, 07 Aug 2017 11:34:42 +0200
+
 terminal.app (0.9.8.1-1) unstable; urgency=medium
 
   * New upstream version.
[...]
diff -Nru terminal.app-0.9.8.1/debian/install terminal.app-0.9.9/debian/install
--- terminal.app-0.9.8.1/debian/install 2017-05-03 09:49:30.000000000 +0200
+++ terminal.app-0.9.9/debian/install   2017-08-07 11:34:42.000000000 +0200
@@ -1,2 +1,2 @@
 Terminal.xpm usr/share/pixmaps
-debian/Terminal.desktop usr/share/applications
+#debian/Terminal.desktop usr/share/applications



Meow!
-- 
⢀⣴⠾⠻⢶⣦⠀ 
⣾⠁⢰⠒⠀⣿⡁ James Damore is a hero.  Even mild criticism of bigots these days
⢿⡄⠘⠷⠚⠋⠀ comes at great personal risk.
⠈⠳⣄⠀⠀⠀⠀