File tree 1 file changed +4
-3
lines changed 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -44,11 +44,11 @@ echo "$PRE start PUT operation (crate '$mainCrate')."
44
44
if [[ " $num " == " master" ]]; then
45
45
gitRef=" master"
46
46
dir=" $repo /master"
47
- prettyNum =" Latest master"
47
+ versionDescr =" Latest master"
48
48
else
49
49
gitRef=" pull/$num /head"
50
50
dir=" $repo /pr-$num "
51
- prettyNum =" Pull Request #$num "
51
+ versionDescr =" Pull Request #$num "
52
52
fi
53
53
54
54
# Checkout PR branch
134
134
# Recognize min crate version, replace with current PR/master version
135
135
libVersion=$( grep -Po ' ^version = "\K[^"]*' " cloned/$mainCrate /Cargo.toml" )
136
136
echo " $PRE detected crate: $mainCrate v$libVersion ."
137
- find " target/doc/$mainCrate " -name .html -o -type f -print0 | xargs -0 sed -i ' s/' " Version $libVersion " ' /' " $prettyNum " ' /g'
137
+ find target/doc/" $mainCrate " -type f -name " *.html" \
138
+ -exec sd " <span class=\\\" version\\\" >$libVersion </span>" " <span class=\\\" version\\\" >$versionDescr </span>" {} +
138
139
139
140
# Copy docs
140
141
echo " $PRE deploy docs for #$num ..."
You can’t perform that action at this time.
0 commit comments