diff --git a/Makefile b/Makefile index 6267dcb..e49826d 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,6 @@ WHOLE=whole LAST=last +SHELL:=/bin/bash HEADER=header.tex