
INSTALL_DEST=~/.local/share/gedit/plugins/

all: install

install: all
	python3 -m compileall -f bugtest.py
	mkdir -p $(INSTALL_DEST)
	cp bugtest.plugin $(INSTALL_DEST)
	cp bugtest.py $(INSTALL_DEST)

uninstall:
	rm -f $(INSTALL_DEST)/bugtest.plugin
	rm -fr $(INSTALL_DEST)/bugtest.py

	
.PHONY: install
.PHONY: uninstall
