Updating gen_latex_symbols.py

IPython/core/latex_symbols.py

@@ -1,5 +1,9 b''
 # encoding: utf-8
 
+# DO NOT EDIT THIS FILE BY HAND.
+
+# To update this file, run the script /tools/gen_latex_symbols.py using Python 3
+
 # This file is autogenerated from the file:
 # https://raw.githubusercontent.com/JuliaLang/julia/master/base/latex_symbols.jl
 # This original list is filtered to remove any unicode characters that are not valid

tools/gen_latex_symbols.py

@@ -10,6 +10,11 b''
 # The original mapping of latex symbols to unicode comes from the `latex_symbols.jl` files from Julia.
 
 from __future__ import print_function
+import os, sys
+
+if not sys.version_info[0] == 3:
+    print("This script must be run with Python 3, exiting...")
+    sys.exit(1)
 
 # Import the Julia LaTeX symbols
 print('Importing latex_symbols.js from Julia...')
@@ -59,6 +64,10 b' valid_idents = [line for line in lines if test_ident(line[1])]'
 
 s = """# encoding: utf-8
 
+# DO NOT EDIT THIS FILE BY HAND.
+
+# To update this file, run the script /tools/gen_latex_symbols.py using Python 3
+
 # This file is autogenerated from the file:
 # https://raw.githubusercontent.com/JuliaLang/julia/master/base/latex_symbols.jl
 # This original list is filtered to remove any unicode characters that are not valid
@@ -70,7 +79,9 b' for line in valid_idents:'
     s += '    "%s" : "%s",\n' % (line[0], line[1])
 s += "}\n"
 
-with open('latex_symbols.py', 'w', encoding='utf-8') as f:
+fn = os.path.join('..','IPython','core','latex_symbols.py')
+print("Writing the file: %s" % fn)
+with open(fn, 'w', encoding='utf-8') as f:
     f.write(s)