[devhelp/wip/swilmet/various-code-improvements] gedit plugin: rename devhelp.desktop.in -> devhelp.plugin.desktop.in



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]