Subject: bug#25034: red-eclipse: "data" directory in "$out/", not in "$out/share"

From: Adonay Felipe Nogueira <[email-masked]>
Date: Sun, 20 Aug 2017 16:09:12 -0300

I have sent a patch as an attempt to fix this issue, see
[[https://debbugs.gnu.org/cgi/bugreport.cgi?bug=28164]].

-- 
- [[https://libreplanet.org/wiki/User:Adfeno]]
- Palestrante e consultor sobre /software/ livre (não confundir com
  gratis).
- "WhatsApp"? Ele não é livre. Por favor, use o GNU Ring ou o Tox.
- Contato: [[https://libreplanet.org/wiki/User:Adfeno#vCard]]
- Arquivos comuns aceitos (apenas sem DRM): Corel Draw, Microsoft
  Office, MP3, MP4, WMA, WMV.
- Arquivos comuns aceitos e enviados: CSV, GNU Dia, GNU Emacs Org, GNU
  GIMP, Inkscape SVG, JPG, LibreOffice (padrão ODF), OGG, OPUS, PDF
  (apenas sem DRM), PNG, TXT, WEBM.