ZhiQiang Fan ecd05637a3 Do not clean docs directory ...

The docs/source has been introduced by change-id:
Ide5f7d980a294c7a9f8a3decaed0939f1c239934, but clean.sh try to clean
whole docs direcotry, which is not right.

Meanwhile, there are directories in FILES_TO_CLEAN variable, which means
rm -f will not work. We need to use rm -rf.

Change-Id: I4e10d70d5638ce7e7a9215f5bd848422aa90aad3
Closes-Bug: #1335399

2014-06-30 09:27:31 +08:00

2.9 KiB

Executable File

Raw Blame History

View Raw