+def add_module(module):
+ i = find_token(document.header, "\\begin_modules", 0)
+ if i == -1:
+ #No modules yet included
+ i = find_token(document.header, "\\textclass", 0)
+ if i == -1:
+ document.warning("Malformed LyX document: No \\textclass!!")
+ return
+ modinfo = ["\\begin_modules", module, "\\end_modules"]
+ document.header[i + 1: i + 1] = modinfo
+ return
+ j = find_token(document.header, "\\end_modules", i)
+ if j == -1:
+ document.warning("Malformed LyX document: No \\end_modules.")
+ return
+ k = find_token(document.header, module, i)
+ if k != -1 and k < j:
+ return
+ document.header.insert(i + 1, module)
+