From d05d2dc0675a757c260c2bfb2df7cd63adcb8789 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Thu, 17 Feb 2011 17:24:38 +0100
Subject: [PATCH] doc/Makefile: Remove bashism in clean target

---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 7ba3aab..229171b 100644
--- 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
 
-- 
2.39.2