diff options
author | Rafael Laboissière <rafael@debian.org> | 2023-07-22 10:46:15 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2023-07-22 10:46:15 -0300 |
commit | f7def1a6a3c5bbb67e6ed7c74d6e8a69ecf61bd0 (patch) | |
tree | 0435127cbc8ddf86522d2040b70d583c7f032650 | |
parent | 3837caa192b5c44c8a488798a3dcb759f1febaff (diff) |
d/s/lintian-overrides: New file
-rw-r--r-- | debian/source/lintian-overrides | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 0000000..ddda3b3 --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,5 @@ +# The doc/arduino.html, which is shipped in the upstream tarball, is +# also built from file doc/arduino.texi, so the source is indeed present. +# Lintian in known to be oversensitive in the source-is-missing check +# for HTML (see Bug#1019980). +octave-arduino source: source-is-missing [doc/arduino.html] |