externaltoolsdir = $(plugindir)/externaltools
externaltools_PYTHON =						\
	plugins/externaltools/tools/__init__.py			\
	plugins/externaltools/tools/capture.py			\
	plugins/externaltools/tools/library.py			\
	plugins/externaltools/tools/functions.py		\
	plugins/externaltools/tools/manager.py			\
	plugins/externaltools/tools/outputpanel.py		\
	plugins/externaltools/tools/filelookup.py		\
	plugins/externaltools/tools/linkparsing.py		\
	plugins/externaltools/tools/appactivatable.py	\
	plugins/externaltools/tools/windowactivatable.py

externaltools_uidir = $(GEDIT_PLUGINS_DATA_DIR)/externaltools/ui
dist_externaltools_ui_DATA =					\
	plugins/externaltools/tools/tools.ui			\
	plugins/externaltools/tools/outputpanel.ui
