Searched refs:mapnames (Results 1 – 3 of 3) sorted by relevance
| /petsc/doc/ ! |
| H A D | build_manpages_c2html.py | 105 mapnames = shutil.which('mapnames')
106 if not mapnames:
108 mapnames = [line for line in f if line.find('MAPNAMES ') > -1]
109 mapnames = re.sub('[ ]*MAPNAMES[ ]*=[ ]*','',mapnames[0]).strip('\n').strip()
110 print('Using MAPNAMES:', mapnames)
115 build_c2html.main(petsc_dir,build_dir,outdir,c2html,mapnames)
|
| H A D | build_c2html_file.py | 10 def main(petsc_dir,loc,git_sha,c2html,mapnames,rel_dir,file): argument
19 mapnames + ' -map htmlmap.tmp -inhtml'
|
| H A D | build_c2html.py | 23 def main(petsc_dir,build_dir,loc,c2html,mapnames): argument
97 … ' ' + str(petsc_dir) + ' ' + str(loc) + ' '+ git_sha + ' ' + c2html + ' ' + mapnames + ' $< $@\n')
|