Industrial documentation management