diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2010-04-10 16:47:45 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2010-04-10 16:47:45 +0200 |
| commit | e08e1c7ecec67002ee3c8cb6910d5834fefeb44f (patch) | |
| tree | 8d6b6a2959b9ef5c97a6932cbbe3c6a828263938 /make | |
| parent | 56272a726abb716dc742afd42128e15a06381dae (diff) | |
Oops^2: use $$ instead of $ in embeded makefile shell. Fixes funny fix.
Diffstat (limited to 'make')
| -rw-r--r-- | make/website.make | 2 |
1 files changed, 1 insertions, 1 deletions
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 |