Skip to content
Snippets Groups Projects
Commit cefed5dc authored by Malin Freeborn's avatar Malin Freeborn
Browse files

remove push from Makefile

parent 832c8a3a
No related branches found
No related tags found
No related merge requests found
...@@ -24,6 +24,5 @@ tree: ...@@ -24,6 +24,5 @@ tree:
[ -e ../config ] || ( echo "You don't have a local config repo" && exit 1 ) [ -e ../config ] || ( echo "You don't have a local config repo" && exit 1 )
git status git status
git subtree -P config pull ../config ${branch} git subtree -P config pull ../config ${branch}
git subtree -P config push ../config ${branch}
clean: clean:
rm -fr *.aux *.toc *.acn *.log *.ptc *.out *.idx *.ist *.glo *.glg *.gls *.acr *.alg *.ilg *.ind *.pdf .ref svg-inkscape rm -fr *.aux *.toc *.acn *.log *.ptc *.out *.idx *.ist *.glo *.glg *.gls *.acr *.alg *.ilg *.ind *.pdf .ref svg-inkscape
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment