#!/usr/local/bin/python2.5
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))
