makefiles-remote:
	@git remote add makefiles ssh://git@lab.cluster.gsi.dit.upm.es:2200/docs/templates/makefiles.git 2>/dev/null || true

makefiles-commit: makefiles-remote
	git add -f .makefiles
	git commit -em "Updated makefiles from ${NAME}"

makefiles-push:
	git subtree push --prefix=.makefiles/ makefiles $(NAME)

makefiles-pull: makefiles-remote
	git subtree pull --prefix=.makefiles/ makefiles master --squash

pull:: makefiles-pull

.PHONY:: makefiles-remote makefiles-commit makefiles-push makefiles-pull