diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-12-29 18:41:17 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-12-29 18:41:17 (GMT) |
| commit | 88c81687636c7dd25b3a07b6b31406523e0f2ba2 (patch) | |
| tree | 5fb9f713fd2a1168ccab01d8c331f886e152def6 | |
| parent | 4e8ab6eefde8c4943df2374fc47774c0fc271475 (diff) | |
internals: properly remove all docs
Part of the installed doc was not removed (if configured to).
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
| -rw-r--r-- | scripts/build/internals.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/build/internals.sh b/scripts/build/internals.sh index 882412f..a0749a6 100644 --- a/scripts/build/internals.sh +++ b/scripts/build/internals.sh @@ -141,9 +141,9 @@ do_finish() { # Remove the generated documentation files if [ "${CT_REMOVE_DOCS}" = "y" ]; then CT_DoLog EXTRA "Removing installed documentation" - CT_DoForceRmdir "${CT_PREFIX_DIR}/"{,usr/}{man,info} - CT_DoForceRmdir "${CT_SYSROOT_DIR}/"{,usr/}{man,info} - CT_DoForceRmdir "${CT_DEBUGROOT_DIR}/"{,usr/}{man,info} + CT_DoForceRmdir "${CT_PREFIX_DIR}/"{,usr/}{,share/}{man,info} + CT_DoForceRmdir "${CT_SYSROOT_DIR}/"{,usr/}{,share/}{man,info} + CT_DoForceRmdir "${CT_DEBUGROOT_DIR}/"{,usr/}{,share/}{man,info} fi # Remove headers installed by native companion libraries |