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 f9d6642521..645581e11d 100644 --- a/plugins/plugin-manager/Makefile.am +++ b/plugins/plugin-manager/Makefile.am @@ -20,3 +20,5 @@ EXTRA_DIST = \ BUILT_SOURCES = org-gnome-plugin-manager.eplug CLEANFILES = $(BUILT_SOURCES) + +-include $(top_srcdir)/git.mk |