Remove old documents when they are not compressed.

(NO_INFOCOMPRESS, NO_DOCCOMPRESS or NO_MANCOMPRESS)

MFC after:	1 month
This commit is contained in:
Antoine Brodin 2010-03-07 14:55:43 +00:00
parent 1f821c53f0
commit 460f173dad

View File

@ -1259,7 +1259,7 @@ delete-old-files:
@echo ">>> Removing old files (only deletes safe to delete libs)"
# Ask for every old file if the user really wants to remove it.
# It's annoying, but better safe than sorry.
@for file in ${OLD_FILES}; do \
@for file in ${OLD_FILES} ${OLD_FILES:Musr/share/*.gz:R}; do \
if [ -f "${DESTDIR}/$${file}" -o -L "${DESTDIR}/$${file}" ]; then \
chflags noschg "${DESTDIR}/$${file}" 2>/dev/null || true; \
rm ${RM_I} "${DESTDIR}/$${file}"; \
@ -1279,7 +1279,7 @@ delete-old-files:
check-old-files:
@echo ">>> Checking for old files"
@for file in ${OLD_FILES}; do \
@for file in ${OLD_FILES} ${OLD_FILES:Musr/share/*.gz:R}; do \
if [ -f "${DESTDIR}/$${file}" -o -L "${DESTDIR}/$${file}" ]; then \
echo "${DESTDIR}/$${file}"; \
fi; \