diff options
author | 2016-06-23 11:42:18 +0000 | |
---|---|---|
committer | 2016-06-23 13:54:10 +0000 | |
commit | 65c3e36d41f5682a2c3cf6e77c88bd08a86b9670 (patch) | |
tree | e788c03a7b8f8a04a68ed448b99e8928f61b3cdc | |
parent | 39d9452995abf1dabe4023232ca084ba498b0714 (diff) |
Fix expansion rendering in help html output.
--
MOS_MIGRATED_REVID=125665042
-rw-r--r-- | src/main/java/com/google/devtools/common/options/OptionsUsage.java | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/main/java/com/google/devtools/common/options/OptionsUsage.java b/src/main/java/com/google/devtools/common/options/OptionsUsage.java index 2d1c793e1d..111a772492 100644 --- a/src/main/java/com/google/devtools/common/options/OptionsUsage.java +++ b/src/main/java/com/google/devtools/common/options/OptionsUsage.java @@ -164,12 +164,15 @@ class OptionsUsage { } if (annotation.expansion().length > 0) { usage.append("<br/>\n"); - StringBuilder expandsMsg = new StringBuilder("Expands to:"); + StringBuilder expandsMsg = new StringBuilder("Expands to:<br/>\n"); for (String exp : annotation.expansion()) { // TODO(ulfjack): Can we link to the expanded flags here? - expandsMsg.append(" <code>").append(exp).append("</code>"); + expandsMsg + .append(" <code>") + .append(escaper.escape(exp)) + .append("</code><br/>\n"); } - usage.append(paragraphFill(escaper.escape(expandsMsg.toString()), 0, 80)); // (indent, width) + usage.append(expandsMsg.toString()); // (indent, width) usage.append('\n'); } usage.append("</dd>\n"); |