diff options
author | Sébastien Wilmet <swilmet@gnome.org> | 2015-11-23 18:25:50 +0100 |
---|---|---|
committer | Sébastien Wilmet <swilmet@gnome.org> | 2015-11-23 18:28:17 +0100 |
commit | 10d29fb0fc6f3569f5c0bce140f3c9fb5ffd1b85 (patch) | |
tree | aa3e9c1a24ee1912b83892af8d440bd4dcf783ee | |
parent | 693043b57349613dc8046a2ed8efaffde9fa8723 (diff) | |
download | gedit-10d29fb0fc6f3569f5c0bce140f3c9fb5ffd1b85.tar.gz |
Workaround intltool bug for make distcheck
intltool is not well maintained. The bug happens with a recent Automake
version. This can be reverted when gedit no longer uses intltool, or
when the intltool bug is fixed one day.
This is a bit ugly, but everything should not *always* be perfect all
the time.
-rw-r--r-- | po/POTFILES.skip | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/po/POTFILES.skip b/po/POTFILES.skip index f4c26df4e..21699b6da 100644 --- a/po/POTFILES.skip +++ b/po/POTFILES.skip @@ -10,3 +10,5 @@ tools/generate-plugin.py tools/plugin_template/gedit-plugin.desktop.in tools/plugin_template/gedit-plugin-helper.py tools/plugin_template/gedit-plugin-nohelper.py +sub/data/org.gnome.gedit.desktop.in +sub/gedit/resources/gtk/menus.ui |