Make doc-install truly optional. Do not try to install unless opted-in
Make doc-install truly optional. Do not try to install unless opted-in

janmejay/medida,janmejay/medida,janmejay/medida,janmejay/medida