[docs] fix versionpatch.sh for pages/versions change

lautaro-osacar · Feb 5, 2019 · 2925faf · 2925faf
1 parent 5e820a1
commit 2925faf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/scripts/versionpatch.sh b/docs/scripts/versionpatch.sh
@@ -30,6 +30,6 @@ for version in $*; do
 
     # patch changes in existing files
     pushd pages/versions/$version > /dev/null
-    git diff -- ../$src_version | patch -p4
+    git diff -- ../$src_version | patch -p5
     popd > /dev/null
 done