diff --git a/ci/create-pages.py b/ci/create-pages.py index 35f1f0dda580abb2bdcfb1b71186c8eee8017452..7ad31d79663b6b370f43dd2b8d0b6d5612872710 100644 --- a/ci/create-pages.py +++ b/ci/create-pages.py @@ -44,6 +44,10 @@ for release in releases: if not os.path.exists(path): os.makedirs(path) + f = open(path + "/index.html", "w") + f.write("""<html><head><title>Update Site of %s</title></head><body><h1>Remark</h1><p>This is an Eclipse Update Site and there is nothing so see here. Please add this URL to Eclipse as an Update Site.</p></body>""" % (release,)) + f.close + try: meta_url="https://gitlab.informatik.uni-bremen.de/api/v4/projects/30380/packages/maven/%s/de/evoal/languages/de.evoal.languages.releng.site/" % (release,)