Adds make html
that does not build the manual as pdf
#3620
Merged
make html
that does not build the manual as pdf
#3620