A banner stating that v1 is unmaintained, and linking to v2 docs.

[benjyw]

The only manual edit was to the .css file.

The html files were edited via sed:

$ find . -type f -name "*.html" | xargs -n1 sed -i '' -n '1h;1!H;${g;s/<a class="navbar-brand" href="index.html">\n          Pants/<a class="navbar-brand" href="index.html">\n          Pants v1/;p;}' 

$ find . -type f -name "*.html" | xargs -n1 sed -i '' -n '1h;1!H;${g;s/  <\/nav>/    <div class="deprecated">Pants v1 is no longer maintained. See <a href="https:\/\/www.pantsbuild.org\/">here<\/a> for the Pants v2 documentation.<\/div>\n  <\/nav>/;p;}'

[benjyw]

Renders as:

[benjyw]

This is the css file in question: https://github.com/pantsbuild/pantsbuild.github.io/pull/12/files?file-filters%5B%5D=.css&show-viewed-files=true#diff-c406c85d9ab1b4cf25dc5d09425d2680d4c8cd9659e264bdbcfbba7d727c1978

[benjyw]

I manually tested the rendered docs and they look fine.

[jsirois]

Thanks Benjy.

[benjyw]

This is live now: https://v1.pantsbuild.org/