The contents of the website will be stored in doc/, because they are actually
documentation.