Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove or suppress crawling for the OPAM 1.1 and 1.2 manuals #236

Open
dra27 opened this issue Jun 27, 2024 · 0 comments
Open

Remove or suppress crawling for the OPAM 1.1 and 1.2 manuals #236

dra27 opened this issue Jun 27, 2024 · 0 comments

Comments

@dra27
Copy link
Member

dra27 commented Jun 27, 2024

cf. https://discuss.ocaml.org/t/opam-installer-script-trying-to-install-a-very-old-opam-and-ocaml-compiler/14856/3

FWIW, I think that 6 years after the release of opam 2.0 we can probably just remove the 1.1 and 1.2 manuals from the site, but we should otherwise configure robots.txt to suppress them being indexed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant