diff options
Diffstat (limited to 'src/files.h')
| -rw-r--r-- | src/files.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/files.h b/src/files.h index 85eafc3e..52250aff 100644 --- a/src/files.h +++ b/src/files.h @@ -64,7 +64,9 @@ extern char *all_but_ext; void compute_output_file_names (void); void output_file_names_free (void); -/** Record that we generate file \a file_name. +/** Record that we generate a file. + * + * \param file_name the name of file being generated. * \param source whether this is a source file (*c, *.java...) * as opposed to a report (*.output, *.dot...). */ |