# HG changeset patch
# User Rik <rik@octave.org>
# Date 1502571749 25200
# Node ID 5c588c422e75ac5cd0e34be096ac8c72fe62f5a7
# Parent  a08e277f985fea0019141110e89647ed08e480d2# Parent  53dfc2329ba9495fb1b11ddd30a57bdd8cbd9498
maint: merge away accidental head.

diff -r a08e277f985f -r 5c588c422e75 libgui/src/qtinfo/parser.cc
--- a/libgui/src/qtinfo/parser.cc	Sat Aug 12 14:00:37 2017 -0700
+++ b/libgui/src/qtinfo/parser.cc	Sat Aug 12 14:02:29 2017 -0700
@@ -377,7 +377,7 @@
   text.replace ("<", "&lt;");
   text.replace (">", "&gt;");
 
-  text.replace ("\n *Menu:",
+  text.replace ("\n* Menu:",
                 "\n<font style=\"color:DarkRed;font-weight:bold\">Menu:</font>");
   text.replace ("See also:",
                 R"(<font style="color:DarkRed;font-style:italic;font-weight:bold">See also:</font>)");