# These files are source files
source-is-missing *www/SideLinks/About/aboutKnotsQuandles.html*
source-is-missing *www/SideLinks/About/aboutQuandles2.html*
source-is-missing *www/SideLinks/About/aboutTopology.html*
# These files are actually generated during the build
source-is-missing *doc/*.html*
source-is-missing *tutorial/*.html*

