[devhelp] Rename misc/ to plugins/
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [devhelp] Rename misc/ to plugins/
- Date: Fri, 22 Dec 2017 12:42:42 +0000 (UTC)
commit f01d3c36a00d97a8a92581bf158ec6f619e79b6d
Author: Sébastien Wilmet <swilmet gnome org>
Date: Fri Dec 22 13:17:51 2017 +0100
Rename misc/ to plugins/
To have a clearer name.
Makefile.am | 2 +-
configure.ac | 4 ++--
{misc => plugins}/Makefile.am | 0
{misc => plugins}/devhelp.el | 0
{misc => plugins}/devhelp.vim | 0
{misc => plugins}/gedit-plugin/Makefile.am | 0
.../gedit-plugin/devhelp.plugin.desktop.in | 0
{misc => plugins}/gedit-plugin/devhelp.py | 0
po/POTFILES.in | 4 ++--
9 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/Makefile.am b/Makefile.am
index ad4a80f..2f627bf 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,4 +1,4 @@
-SUBDIRS = po src unit-tests data misc docs
+SUBDIRS = po src unit-tests data plugins docs
AM_DISTCHECK_CONFIGURE_FLAGS = \
--enable-gtk-doc \
diff --git a/configure.ac b/configure.ac
index 2f1809f..a422a28 100644
--- a/configure.ac
+++ b/configure.ac
@@ -87,8 +87,8 @@ AC_CONFIG_FILES([
data/icons/Makefile
docs/Makefile
docs/reference/Makefile
- misc/Makefile
- misc/gedit-plugin/Makefile
+ plugins/Makefile
+ plugins/gedit-plugin/Makefile
po/Makefile.in
src/Makefile
unit-tests/Makefile
diff --git a/misc/Makefile.am b/plugins/Makefile.am
similarity index 100%
rename from misc/Makefile.am
rename to plugins/Makefile.am
diff --git a/misc/devhelp.el b/plugins/devhelp.el
similarity index 100%
rename from misc/devhelp.el
rename to plugins/devhelp.el
diff --git a/misc/devhelp.vim b/plugins/devhelp.vim
similarity index 100%
rename from misc/devhelp.vim
rename to plugins/devhelp.vim
diff --git a/misc/gedit-plugin/Makefile.am b/plugins/gedit-plugin/Makefile.am
similarity index 100%
rename from misc/gedit-plugin/Makefile.am
rename to plugins/gedit-plugin/Makefile.am
diff --git a/misc/gedit-plugin/devhelp.plugin.desktop.in b/plugins/gedit-plugin/devhelp.plugin.desktop.in
similarity index 100%
rename from misc/gedit-plugin/devhelp.plugin.desktop.in
rename to plugins/gedit-plugin/devhelp.plugin.desktop.in
diff --git a/misc/gedit-plugin/devhelp.py b/plugins/gedit-plugin/devhelp.py
similarity index 100%
rename from misc/gedit-plugin/devhelp.py
rename to plugins/gedit-plugin/devhelp.py
diff --git a/po/POTFILES.in b/po/POTFILES.in
index 41ed3bb..ebaf576 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -3,8 +3,8 @@
data/org.gnome.Devhelp.appdata.xml.in
data/org.gnome.Devhelp.desktop.in.in
data/org.gnome.devhelp.gschema.xml
-misc/gedit-plugin/devhelp.plugin.desktop.in
-misc/gedit-plugin/devhelp.py
+plugins/gedit-plugin/devhelp.plugin.desktop.in
+plugins/gedit-plugin/devhelp.py
src/dh-app.c
src/dh-assistant.c
src/dh-assistant.ui
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]