diff --git a/scripts/sync_standards.sh b/scripts/sync_standards.sh index 1060754..d61aab3 100644 --- a/scripts/sync_standards.sh +++ b/scripts/sync_standards.sh @@ -128,11 +128,11 @@ if [ -n "$REL_SNAPSHOT" ]; then [ -f "$md" ] || continue tmp="$(mktemp 2>/dev/null || echo "$AGENTS_DST/.rewrite.$(basename "$md").$timestamp")" sed \ - -e "s#\\\`docs/tsl/#\\\`$DOCS_PREFIX/tsl/#g" \ - -e "s#\\\`docs/cpp/#\\\`$DOCS_PREFIX/cpp/#g" \ - -e "s#\\\`docs/python/#\\\`$DOCS_PREFIX/python/#g" \ - -e "s#\\\`docs/markdown/#\\\`$DOCS_PREFIX/markdown/#g" \ - -e "s#\\\`docs/common/#\\\`$DOCS_PREFIX/common/#g" \ + -e "s#\`docs/tsl/#\`$DOCS_PREFIX/tsl/#g" \ + -e "s#\`docs/cpp/#\`$DOCS_PREFIX/cpp/#g" \ + -e "s#\`docs/python/#\`$DOCS_PREFIX/python/#g" \ + -e "s#\`docs/markdown/#\`$DOCS_PREFIX/markdown/#g" \ + -e "s#\`docs/common/#\`$DOCS_PREFIX/common/#g" \ "$md" >"$tmp" mv "$tmp" "$md" done