# artifacts/manual/ holds the manual already built, for a machine with no
# pandoc: CMake copies it into the build tree rather than generating it
# there.  Its source is doc/manual/*.md in this same package, and the
# build regenerates it wherever pandoc is installed, so the HTML is not
# source-less in the sense the tag means.
ctsim source: source-is-missing [artifacts/manual/ctsim.html]

# ctsim.org serves https with a self-signed certificate, which uscan
# rejects, so an https watch URI would fail the check rather than secure
# it.  To be removed when the site has a certificate from a recognised
# authority.
ctsim source: debian-watch-uses-insecure-uri
