Merge remote-tracking branch 'origin/maint' into origin/master

* origin/maint:
  doc: minor fixes
  gnulib: strtoul is considered obsolete and now useless
  c++: avoid warnings when destructors don't use $$
  maint: post-release administrivia
  version 3.0.3
  gnulib: update
This commit is contained in:
Akim Demaille
2015-01-16 15:14:41 +01:00
11 changed files with 1424 additions and 973 deletions

View File

@@ -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...).
*/