# simple helper makefile for editor users
all:
	make -C ..
