rename docs folder to documentation so docker won't hide it