include robots.txt instructions

melange-re · Feb 12, 2024 · ea6b00d · ea6b00d
1 parent 75d7a84
commit ea6b00d
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -96,5 +96,7 @@ move-vx.x.x-tag: ## Moves the vx.x.x tag to the latest commit, useful to publish
       - update the version in `add_canonical.ml`
       - run `dune test --auto-promote`
       - uncomment the relevant code in `publish-version.yml`
-- In the `gh-pages` branch, replace the default version with the new one [in
-  index.html](https://github.com/melange-re/melange-re.github.io/blob/gh-pages/index.html#L10)
+- In the `gh-pages` branch:
+  - replace the default version with the new one [in
+    index.html](https://github.com/melange-re/melange-re.github.io/blob/gh-pages/index.html#L10)
+  - update `robots.txt` to point to the new version sitemap