diff options
author | Rafael Laboissière <rafael@debian.org> | 2024-01-06 18:54:33 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2024-01-06 18:54:33 -0300 |
commit | 993ad04f8615e9c9757039ad8cafdde48674a10b (patch) | |
tree | 5f476f486d9a078f77e8d4b5eb40c7f38024465e | |
parent | 405d4607d0e599a738d44bb3f42afc7720f4b7d3 (diff) |
d/s/lintian-overrides: Improve comments
-rw-r--r-- | debian/source/lintian-overrides | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides index e625363..0b7868c 100644 --- a/debian/source/lintian-overrides +++ b/debian/source/lintian-overrides @@ -1,5 +1,5 @@ -# The doc/arduino.html file, which is shipped in the upstream tarball, -# is also built from file doc/arduino.texi, so the source is indeed -# present. Lintian is known to be oversensitive in the -# source-is-missing check for HTML (see Bug#1019980). +# File doc/arduino.html, which is shipped in the upstream tarball, is +# rebuilt from file doc/arduino.tex during the package building. Hence, +# the source is indeed present. Lintian is known to be oversensitive in +# the source-is-missing check for HTML files (see Bug#1019980). octave-arduino source: source-is-missing [doc/arduino.html] |