diff --git a/Makefile b/Makefile index 851be69734a9f90b25de1d5dfe8c0fb1d86fb7e6..4db93ca9ded65e02bec3c99c0574bc608be3e90a 100644 --- a/Makefile +++ b/Makefile @@ -24,6 +24,5 @@ tree: [ -e ../config ] || ( echo "You don't have a local config repo" && exit 1 ) git status git subtree -P config pull ../config ${branch} - git subtree -P config push ../config ${branch} clean: rm -fr *.aux *.toc *.acn *.log *.ptc *.out *.idx *.ist *.glo *.glg *.gls *.acr *.alg *.ilg *.ind *.pdf .ref svg-inkscape