Change default value of --docs-root option.