git.notmuchmail.org Git - notmuch/blob - doc/mkdocdeps.py

   1 import sys
   2
   3 srcdir = sys.argv[1]
   4 builddir = sys.argv[2]
   5 outfile = sys.argv[3]
   6
   7 sys.path.insert(0, srcdir)
   8 import conf
   9
  10 roff_files = []
  11 rst_files = []
  12 for page in conf.man_pages:
  13     rst_files = rst_files + ["{0:s}/{1:s}.rst".format(srcdir,page[0])]
  14     roff_files = roff_files + ["{0:s}/man/{1:s}.{2:d}".format(builddir,page[0],page[4])]
  15
  16 with open(outfile, 'w') as out:
  17     out.write('MAN_ROFF_FILES := ' + ' \\\n\t'.join(roff_files) + '\n')
  18     out.write('MAN_RST_FILES := ' + ' \\\n\t'.join(rst_files) + '\n')