From e08e1c7ecec67002ee3c8cb6910d5834fefeb44f Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Sat, 10 Apr 2010 16:47:45 +0200 Subject: [PATCH] Oops^2: use $$ instead of $ in embeded makefile shell. Fixes funny fix. --- make/website.make | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/website.make b/make/website.make index 0c650d3708..34d70eb256 100644 --- a/make/website.make +++ b/make/website.make @@ -98,7 +98,7 @@ website-texinfo: website-version website-xrefs -D web_version \ --output=$(OUT)/"$$l" \ $(top-src-dir)/Documentation/"$$l"/web.texi ; \ - find $(OUT)/$$l/ -name '*.html' | xargs grep -L 'UNTRANSLATED NODE: IGNORE ME' | sed 's!$(OUT)/'$$l'/!!g' | xargs $(MASS_LINK) --prepend-suffix="$langsuf" hard $(OUT)/$$l/ $(OUT)/website/ ; \ + find $(OUT)/$$l/ -name '*.html' | xargs grep -L 'UNTRANSLATED NODE: IGNORE ME' | sed 's!$(OUT)/'$$l'/!!g' | xargs $(MASS_LINK) --prepend-suffix="$$langsuf" hard $(OUT)/$$l/ $(OUT)/website/ ; \ done -- 2.39.2