diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-28 11:57:42 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-28 11:57:42 (GMT) |
commit | d4886dbe640711091f44cc5b2bfa3d82832e3c44 (patch) | |
tree | 7f012fb0343f9aa0181caeb1b5dd55eccb44fe5b /patches/gcc | |
parent | 4d90f28bf995596100845246d99bc83d190bc639 (diff) |
Fix install: man page was not being installed.
Fix uninstall: dont't uninstall if using local copy, don't try to remove non-existant files.
Diffstat (limited to 'patches/gcc')
0 files changed, 0 insertions, 0 deletions