Тривиальная оптимизация find+chmod

diff --git a/all.do b/all.do
index d7b84e651561159c65de5ed3f0da01ae830a9132..7d5a878726fac1740a77cb820bf8ab36765ab456 100644 (file)
--- a/all.do
+++ b/all.do
@@ -11,5 +11,5 @@ ${MAKEINFO:-makeinfo} --html \
     --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
     --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
     -o $html index.texi
-find $html -type d -exec chmod 755 {} \;
-find $html -type f -exec chmod 644 {} \;
+find $html -type d -exec chmod 755 {} +
+find $html -type f -exec chmod 644 {} +