Makefile: make -C doc/
Makefile: make -C doc/

Build the html documentation, inside the doc/ dir, by using the change
directory of Makefile, instead of manually doing cd, etc.

rmariano/compr,rmariano/compr