doc/Makefile: Remove bashism in clean target

diff --git a/doc/Makefile b/doc/Makefile
index 7ba3aabe12065ab804435fc308f149013402f0db..229171bfe43e53861d6b7d559e956e32fe86210e 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -35,7 +35,7 @@ PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
 #      mv $@.tmp $@
 
 clean:
-       rm -f $(SOURCE).{aux,cp,cps,fn,ky,log,pg,toc,tp,vr,vrs} $(PDF_FIGS) .version
+       rm -f $(addprefix $(SOURCE).,aux cp cps fn ky log pg toc tp vr vrs) $(PDF_FIGS) .version
 
 WWW ?= www