<Header name="sample_opts.h" directory="$inc"/>
If the specified file name contains a period, aargh will use the file name without change. Otherwise it will append a period and a file name extension. By default the extension is "h", but you can specify a different extension such as "hpp" on the aargh command line, using the -X option.
The specified file name may include a path, relative either to the current working directory or to the directory specified by the directory element described below. It may even include an absolute path, but that usage would be a bit strange.
If the Header element or the name attribute is not present, the header name defaults to "opts.h".
When opening the header file, aargh will construct a file name by concatenating the value of the directory attribute with the header file name. It will also insert a forward slash between them, if the directory name does not already have one at the end.