diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index 7a29e236c7..b4eb9cf38a 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml @@ -3045,6 +3045,13 @@
Manually Bumping PR + + The alternative to setting up a PR Service is to manually + bump the + PR + variable. + + If a committed change results in changing the package output, then the value of the PR variable needs to be increased @@ -3073,8 +3080,9 @@ When upgrading the version of a package, assuming the PV - changes, the PR variable should be reset to "r0" - (or "$(INC_PR).0" if you are using INC_PR). + changes, the PR variable should be + reset to "r0" (or "$(INC_PR).0" if you are using + INC_PR).