diff --git a/Manual_tools/src/cc_index_link.cpp b/Manual_tools/src/cc_index_link.cpp
index e3db5579ecc..122e0da5f9d 100644
--- a/Manual_tools/src/cc_index_link.cpp
+++ b/Manual_tools/src/cc_index_link.cpp
@@ -124,10 +124,7 @@ main( int argc, char **argv) {
lli = find_if(list_of_lines.begin(),
list_of_lines.end(),
Lines_eq(number));
- out_file << "text <<">" << "
";
+ out_file << "text << ">→ ";
}
}
}