Don't use a bash specific construct for expanding directory names

This breaks on systems using eg. dash as their default /bin/sh
Reported by Dominic Lemire <DominicLemire@vtech.ca>

Signed-off-by: Tobias Ulmer <tu@emlix.com>

diff --git a/doc/man/Makefile b/doc/man/Makefile
index 10d84ae75d4dd5d8d38a54219b02111f92d488ba..1f0b3d0dc8faecb1bbc4dfcc584169d2e587ef41 100644 (file)
--- a/doc/man/Makefile
+++ b/doc/man/Makefile
@@ -91,7 +91,7 @@ clean:
        man2html -r $< >$@
 
 man.tar.gz: $(MANPAGES_HTML)
-       mkdir -p html man/man{1,5,7}
+       mkdir -p html man/man1 man/man5 man/man7
        cp *.1.html man/man1/
        cp *.5.html man/man5/
        cp *.7.html man/man7/