# The purpose of the package is precisely to download the doc from the internet
hyperspec: doc-base-file-references-missing-file hyperspec.*
