Lines Matching full:file
9 file filename of input file (several, or glob ok)
11 srcdir global source directory for input file(s)
13 resdir directory for results file(s)
19 stdin pipe input file to stdin
32 <file>*.xml</file>
57 <file>id_*.xml</file>
78 <file>*</file>
87 <file>*</file>
97 <file>*</file>
104 <file>*</file>
118 <file>*</file>
127 <file>*</file>
137 <file>*</file>
148 <file>*</file>
156 <file>*</file>
167 <file>*</file>
175 <file>*</file>
185 <file>*.data</file>
196 <file>*.uri</file>
203 <file>*</file>
211 <file>*</file>
220 <file>*</file>
