Deployment documentation is redundant

Files in https://github.com/discos/doc/tree/master/developer/howto/installing are a mere copy of files in https://github.com/discos/deployment/tree/master/doc
I should investigate a way to keep operating on a single source in the deployment repository while dynamically linking the files to this repository.