Update makefile: putting things on web; making combined pdf