Fix typo in the sample definition of DOCKER_OPTS#2

cdeneux wants to merge 1 commit intomastercdeneux/roboconf.github.io:masterfrom

cdeneux-patch-2cdeneux/roboconf.github.io:cdeneux-patch-2Copy head branch name to clipboard