[gedit] Add menus-osx to EXTRA_DIST
- From: Jesse van den Kieboom <jessevdk src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] Add menus-osx to EXTRA_DIST
- Date: Tue, 26 Aug 2014 17:45:26 +0000 (UTC)
commit 54c21421e5bf2462decba451f13a52bb8c2d90ec
Author: Jesse van den Kieboom <jessevdk gnome org>
Date: Tue Aug 26 19:44:49 2014 +0200
Add menus-osx to EXTRA_DIST
gedit/Makefile.am | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gedit/Makefile.am b/gedit/Makefile.am
index 9c63b6c..0f388b3 100644
--- a/gedit/Makefile.am
+++ b/gedit/Makefile.am
@@ -252,6 +252,7 @@ gedit_dist_resource_deps = \
$(filter-out gedit/resources/css/gedit-style-os.css,$(filter-out
gedit/resources/gtk/menus.ui,$(gedit_resource_deps))) \
gedit/resources/gtk/menus-traditional.ui \
gedit/resources/gtk/menus-default.ui \
+ gedit/resources/gtk/menus-osx.ui \
gedit/resources/css/gedit-style-osx.css
EXTRA_DIST += \
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]