add periods and newlines to help message

diff --git a/passes/cmds/scratchpad.cc b/passes/cmds/scratchpad.cc
index c11c41caf272579fd5bba74c1aecfc7d74489121..6bf14a6bd8008c902d6344818eb68a81b5cec389 100644 (file)
--- a/passes/cmds/scratchpad.cc
+++ b/passes/cmds/scratchpad.cc
@@ -34,15 +34,15 @@ struct ScratchpadPass : public Pass {
                log("    scratchpad [options]\n");
                log("\n");
                log("This pass allows to read and modify values from the scratchpad of the current\n");
-               log("design. Options:\n");
+               log("design. Options:\n\n");
                log("    -get <identifier>\n");
-               log("        print the value saved in the scratchpad under the given identifier\n");
+               log("        print the value saved in the scratchpad under the given identifier.\n\n");
                log("    -set <identifier> <value>\n");
-               log("        save the given value in the scratchpad under the given identifier\n");
+               log("        save the given value in the scratchpad under the given identifier.\n\n");
                log("    -unset <identifier>\n");
-               log("        remove the entry for the given identifier from the scratchpad\n");
+               log("        remove the entry for the given identifier from the scratchpad.\n\n");
                log("    -copy <identifier_from> <identifier_to>\n");
-               log("        copy the value of the first identifier to the second identifier\n");
+               log("        copy the value of the first identifier to the second identifier.\n\n");
                log("The identifier may not contain whitespace. By convention, it is usually prefixed\n");
                log("by the name of the pass that uses it, e.g. 'opt.did_something'. If the value\n");
                log("contains whitespace, it must be enclosed in double quotes.\n");