This trivial file ensures the doc/ folder is created.