Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't copy INSTALL documentation to system docs
The INSTALL documentation is not relevant after installation, especially if packages are used. This does prevent a rpmlint warning. refs #5818
- Loading branch information