tutorial/html dir to doc/ dir: it's simpler, and I was not able to do the same thing in Windows anyway!
Warning: all Makefile's are hand-made, and will only work in Linux