From f1c19762a7eb0cc6901ff5e6dd5f9bd638c6db07 Mon Sep 17 00:00:00 2001 From: Kris Katterjohn Date: Tue, 19 Apr 2022 08:00:12 -0400 Subject: [PATCH] chmod takes options before modes -R was treated as a file instead of an option --- doc/info/build_html.sh.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/info/build_html.sh.in b/doc/info/build_html.sh.in index ed15c6df1..e9bca8b59 100755 --- a/doc/info/build_html.sh.in +++ b/doc/info/build_html.sh.in @@ -55,7 +55,7 @@ cp -r @abs_srcdir@/figures tmp_html # "make distcheck" write-protects the source tree. We don't want our # figures to inherit that attribute as we want to delete the temp folder # again, later. -chmod u+w -R tmp_html +chmod -R u+w tmp_html cat include-maxima.texi > tmp_html/include-maxima.texi -- 2.11.4.GIT