"make install-doc" is not necessary

If "--disable-install-doc" option is not passed into ./configure, "make install-doc" command is not necessary. With out doing it, "make install" install all documents needed.