diff options
| -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 |