default target runs "make install" (not "make all") in doc subdirectory.