since we are including documentation in dist I added a rule for making doc/html when running 'make dist'.