2023-10-18 16:08:28 +00:00
#!/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 ) )
2023-10-19 01:21:16 +00:00
# WARN: The CNAME file is for GitHub to redirect requests to the custom domain.
# Missing this may entail security hazard and domain takeover.
# See <https://docs.github.com/en/pages/configuring-a-custom-domain-for-your-github-pages-site/managing-a-custom-domain-for-your-github-pages-site#securing-your-custom-domain>
2023-10-18 16:08:28 +00:00
with open ( ' CNAME ' , ' w ' ) as f :
f . write ( ' doc.crates.io ' )
if __name__ == ' __main__ ' :
main ( )