--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Jenkins/_build/latex/python.ist	Fri Jan 12 14:16:17 2018 +0100
@@ -0,0 +1,11 @@
+line_max 100
+headings_flag 1
+heading_prefix "  \\bigletter "
+
+preamble "\\begin{theindex}
+\\def\\bigletter#1{{\\Large\\sffamily#1}\\nopagebreak\\vspace{1mm}}
+
+"
+
+symhead_positive "{Symbols}"
+numhead_positive "{Numbers}"