#!/usr/bin/env python import sys def main(args): output = args[1] input = args[2:] outfd = open(output, 'w') outfd.write(';; -*- scheme -*-\n') outfd.write(';; THIS FILE IS GENERATED - DO NOT EDIT\n') for filename in input: outfd.write('(include "%s")\n' % filename) outfd.close() return 0 if __name__ == '__main__': sys.exit(main(sys.argv))