56c44f7a7a6096b0e7e338f9571168bb5f1c56d4
[paraslash.git] / ggo / file_write.m4
1 option "filename" f
2 #~~~~~~~~~~~~~~~~~~
3 "specify output file name"
4 string typestr="filename"
5 optional
6 details="
7         Defaults to a random filename in ~/.paraslash.
8 "
9