180 index_file=open(filename)
181 entire_file = index_file.read().
split(
"@end")
184 for line
in entire_file:
186 entry = line.split(
'@')
188 out = [field.strip()
for field
in entry]
192 main_index.append(out)
215 for line
in main_index:
216 capital = line[0].upper()
217 line.insert(0,capital[0])
221 first_letters =
"<h1>"
222 for char
in string.ascii_uppercase:
223 first_letters +=
"<a href=" + doc_root_directory + \
224 "/index/html/index.html#" + char +
">" + char +
"</a>"
225 first_letters +=
"</h1>"
231 print(
"\endhtmlonly")
EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE Packet print(const Packet &a)
Definition: GenericPacketMath.h:1166
def nested_output(doc_root_directory, index, level=0, anchor="")
Definition: make_index.py:104
def make_index(filename, doc_root_directory)
Definition: make_index.py:177
void split(const DoubleVector &in_vector, Vector< DoubleVector * > &out_vector_pt)
Definition: double_vector.cc:1413