diff --git a/src/main/docbkx/developer.xml b/src/main/docbkx/developer.xml index 57f24901932..bc598d2e388 100644 --- a/src/main/docbkx/developer.xml +++ b/src/main/docbkx/developer.xml @@ -1800,7 +1800,7 @@ justification="I know what I'm doing") The script dev-support/make_patch.sh has been provided to help you adhere to patch-creation guidelines. The script has the following syntax: - $ make_patch.sh [-a] [-p <patch_dir>] + $ make_patch.sh [-a] [-p <patch_dir>] If you do not pass a patch_dir, the script defaults to