diff options
Diffstat (limited to 'plugins/plugin-manager')
-rw-r--r-- | plugins/plugin-manager/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/plugin-manager/Makefile.am b/plugins/plugin-manager/Makefile.am index 22e4ca7d51..087c8964a3 100644 --- a/plugins/plugin-manager/Makefile.am +++ b/plugins/plugin-manager/Makefile.am @@ -19,3 +19,5 @@ EXTRA_DIST = \ BUILT_SOURCES = org-gnome-plugin-manager.eplug CLEANFILES = $(BUILT_SOURCES) + +-include $(top_srcdir)/git.mk |