# 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).
octave-arduino source: source-is-missing [doc/arduino.html]
