Searched refs:headfilename (Results 1 – 1 of 1) sorted by relevance
21 def printindex(outfilename, headfilename, levels, titles, tables): argument25 if posixpath.exists(headfilename) :26 with open(headfilename, "r") as fd:30 print('Error! SUBMANSEC header file "%s" does not exist' % headfilename)245 headfilename = PETSC_DIR + '/' + HEADERDIR + '/' + secname249 printindex(outfilename,headfilename,levels,titles,table)