diff options
-rwxr-xr-x | Doc/tools/mkhowto | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index af46fff..50e74c2 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -640,11 +640,9 @@ def uniqify_module_table(filename): def new_index(filename, label="genindex"): fp = open(filename, "w") - fp.write(r"""\ -\begin{theindex} -\label{%s} -\end{theindex} -""" % label) + fp.write("\\begin{theindex}\n" + "\\label{%s}\n" + "\\end{theindex}\n" % label) fp.close() |