diff --git a/scripts/devtest.sh b/scripts/devtest.sh index 7e00d396..4acd90fa 100755 --- a/scripts/devtest.sh +++ b/scripts/devtest.sh @@ -129,16 +129,18 @@ fi ### --include -## #. See :doc:`devtest_variables` for documentation:: +## #. See :doc:`devtest_variables` for documentation. Assuming you're still at +## the root of your checkout:: -source $(dirname $0)/devtest_variables.sh +## source scripts/devtest_variables.sh +source $(dirname $0)/devtest_variables.sh #nodocs ## #. See :doc:`devtest_setup` for documentation. ## $CONTINUE should be set to '--trash-my-machine' to have it execute ## unattended. ## :: -$(dirname $0)/devtest_setup.sh $CONTINUE +devtest_setup.sh $CONTINUE ## #. See :doc:`devtest_testenv` for documentation. Note that you can make ## your test environment just once and reuse it thereafter.