[devhelp/wip/swilmet/various-code-improvements] gedit plugin: rename devhelp.desktop.in -> devhelp.plugin.desktop.in
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [devhelp/wip/swilmet/various-code-improvements] gedit plugin: rename devhelp.desktop.in -> devhelp.plugin.desktop.in
- Date: Fri, 13 Nov 2015 12:00:26 +0000 (UTC)
commit ba4ae1b2970a32c0ec03a6b4bb2dd26a37733861
Author: Sébastien Wilmet <swilmet gnome org>
Date: Fri Nov 13 12:53:01 2015 +0100
gedit plugin: rename devhelp.desktop.in -> devhelp.plugin.desktop.in
To follow the same naming convention as in the gedit and gedit-plugins
repositories.
With the new name, it's clearer that it's not a normal .desktop file.
https://bugzilla.gnome.org/show_bug.cgi?id=709658
misc/gedit-plugin/Makefile.am | 8 ++++----
...evhelp.desktop.in => devhelp.plugin.desktop.in} | 0
po/POTFILES.in | 2 +-
3 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/misc/gedit-plugin/Makefile.am b/misc/gedit-plugin/Makefile.am
index de5c5fb..558746f 100644
--- a/misc/gedit-plugin/Makefile.am
+++ b/misc/gedit-plugin/Makefile.am
@@ -1,13 +1,13 @@
@INTLTOOL_DESKTOP_RULE@
-DESKTOP_IN_FILES = devhelp.desktop.in
-DESKTOP_FILES = devhelp.desktop
+DESKTOP_IN_FILES = devhelp.plugin.desktop.in
+DESKTOP_FILES = devhelp.plugin.desktop
plugindir = $(libdir)/gedit/plugins
plugin_PYTHON = devhelp.py
plugin_DATA = devhelp.plugin
-devhelp.plugin: devhelp.desktop
- cp devhelp.desktop devhelp.plugin
+devhelp.plugin: devhelp.plugin.desktop
+ cp devhelp.plugin.desktop devhelp.plugin
CLEANFILES = $(DESKTOP_FILES) $(plugin_DATA)
EXTRA_DIST = $(DESKTOP_IN_FILES)
diff --git a/misc/gedit-plugin/devhelp.desktop.in b/misc/gedit-plugin/devhelp.plugin.desktop.in
similarity index 100%
rename from misc/gedit-plugin/devhelp.desktop.in
rename to misc/gedit-plugin/devhelp.plugin.desktop.in
diff --git a/po/POTFILES.in b/po/POTFILES.in
index fe826d8..8fd840a 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -3,7 +3,7 @@
data/org.gnome.Devhelp.appdata.xml.in
data/org.gnome.Devhelp.desktop.in.in
[type: gettext/gsettings]data/org.gnome.devhelp.gschema.xml
-misc/gedit-plugin/devhelp.desktop.in
+misc/gedit-plugin/devhelp.plugin.desktop.in
misc/gedit-plugin/devhelp.py
[type: gettext/glade]src/devhelp-menu.ui
src/dh-app.c
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]