diff options
Diffstat (limited to 'tags/u/useless-autogenerated-doxygen-file.tag')
-rw-r--r-- | tags/u/useless-autogenerated-doxygen-file.tag | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tags/u/useless-autogenerated-doxygen-file.tag b/tags/u/useless-autogenerated-doxygen-file.tag new file mode 100644 index 0000000..2295333 --- /dev/null +++ b/tags/u/useless-autogenerated-doxygen-file.tag @@ -0,0 +1,12 @@ +Tag: useless-autogenerated-doxygen-file +Severity: info +Check: documentation +Explanation: The package appears to ship files + from doxygen generated documentation used only + for internal purpose of doxygen. + . + These files are only needed to speed up the + regeneration of the output when this is done + in an incremental fashion (i.e. without first deleting + all output files), and are not needed for + reading the documentation. |