summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRafael Laboissière <rafael@debian.org>2024-01-06 18:54:33 -0300
committerRafael Laboissière <rafael@debian.org>2024-01-06 18:54:33 -0300
commit993ad04f8615e9c9757039ad8cafdde48674a10b (patch)
tree5f476f486d9a078f77e8d4b5eb40c7f38024465e
parent405d4607d0e599a738d44bb3f42afc7720f4b7d3 (diff)
d/s/lintian-overrides: Improve comments
-rw-r--r--debian/source/lintian-overrides8
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]