control: tag -1 +patch
Hello tech-ctte,
On Thu, Aug 03, 2017 at 08:53:09AM +0200, Didier 'OdyX' Raboud wrote:
> So yes, point 2 corresponds to your:
> > - delete that paragraph
> > - add a new paragraph saying "if there is a desktop file, there should
> > be no menu file"
> [...]
> That said, now that thanks to new forces, the process seems vivid and strong
> again, it does indeed make sense to reassign that to Policy. I'm hereby doing
> this, marking the TC as "affected". We'd still be happy to help on the
> wording, ideally during DebConf!
Here is my proposed patch to policy. Since the TC has made a decision,
it doesn't make sense to seek seconds for this change, in the usual way.
So instead I'd like to see "seconds" from at least three TC members
confirming that this patch is sufficient to close this bug:
diff --git a/policy.xml b/policy.xml
index 3daa532..934a85b 100644
--- a/policy.xml
+++ b/policy.xml
@@ -8990,14 +8990,8 @@ Reloading <replaceable>description</replaceable> configuration...done.</screen>
receive extra contributions such as translations.
</para>
<para>
- Packages can, to be compatible with Debian additions to some
- window managers that do not support the FreeDesktop standard, also
- provide a <emphasis>Debian menu</emphasis> file, following the
- <emphasis>Debian menu policy</emphasis>, which can be found in the
- <literal>menu-policy</literal> files in the
- <literal>debian-policy</literal> package. It is also available
- from the Debian web mirrors at <ulink
- url="https://www.debian.org/doc/packaging-manuals/menu-policy/";>https://www.debian.org/doc/packaging-manuals/menu-policy/</ulink>.
+ If a package installs a FreeDesktop desktop entries, it must
+ not also install a Debian menu entry.
</para>
</section>
--
Sean Whitton
Attachment:
signature.asc
Description: PGP signature