blob: 84d50b1987dda7ff11c9f65efba2880aa6ee227b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/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))
|
