Commit 2c68c0f4 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Avoid useless index entries like "7".

parent fad93bab
......@@ -27,7 +27,7 @@
"\\lstinline$%s$" keyword
Printf.printf "\\texttt{%s}" (escape_keyword keyword);
if index <> "" then
if String.length index > 1 then
Printf.printf "\\indextt%s{%s}"
(if keyword.[0] = '\\' then "bs" else "") index;
print_string "\\spacetrue";
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment