## the source for s7webserver/jqconsole.min.js is debian/missing-sources/jqconsole.coffee
source-is-missing [s7webserver/jqconsole.min.js]
## these could actually be generated with tools/make-index.scm
source-is-missing [index.html]
source-is-missing [sndclm.html]
source-is-missing [sndscm.html]
