mirror of https://github.com/rust-lang/cargo
ci: pull out generate.py from gh-pages branch
This commit is contained in:
parent
a275529de2
commit
208922f1fc
|
@ -0,0 +1,46 @@
|
|||
#!/usr/bin/env python3
|
||||
|
||||
MAPPING = {
|
||||
"build-script.html": "https://doc.rust-lang.org/cargo/reference/build-scripts.html",
|
||||
"config.html": None,
|
||||
"crates-io.html": "https://doc.rust-lang.org/cargo/reference/publishing.html",
|
||||
"environment-variables.html": None,
|
||||
"external-tools.html": None,
|
||||
"faq.html": "https://doc.rust-lang.org/cargo/faq.html",
|
||||
"guide.html": "https://doc.rust-lang.org/cargo/guide/",
|
||||
"index.html": "https://doc.rust-lang.org/cargo/",
|
||||
"manifest.html": None,
|
||||
"pkgid-spec.html": None,
|
||||
"policies.html": "https://crates.io/policies",
|
||||
"source-replacement.html": None,
|
||||
"specifying-dependencies.html": None,
|
||||
}
|
||||
|
||||
TEMPLATE = """\
|
||||
<html>
|
||||
<head>
|
||||
<meta http-equiv="refresh" content="0; url={mapped}" />
|
||||
<script>
|
||||
window.location.replace("{mapped}" + window.location.hash);
|
||||
</script>
|
||||
<title>Page Moved</title>
|
||||
</head>
|
||||
<body>
|
||||
This page has moved. Click <a href="{mapped}">here</a> to go to the new page.
|
||||
</body>
|
||||
</html>
|
||||
"""
|
||||
|
||||
def main():
|
||||
for name in sorted(MAPPING):
|
||||
with open(name, 'w') as f:
|
||||
mapped = MAPPING[name]
|
||||
if mapped is None:
|
||||
mapped = "https://doc.rust-lang.org/cargo/reference/{}".format(name)
|
||||
f.write(TEMPLATE.format(name=name, mapped=mapped))
|
||||
|
||||
with open('CNAME', 'w') as f:
|
||||
f.write('doc.crates.io')
|
||||
|
||||
if __name__ == '__main__':
|
||||
main()
|
Loading…
Reference in New Issue