Update the manual on release

1 files changed, 4 insertions, 1 deletions

diff --git a/xtask/src/lib.rs b/xtask/src/lib.rs
index 301a88324..4050f9d01 100644
--- a/xtask/src/lib.rs
+++ b/xtask/src/lib.rs
@@ -166,7 +166,8 @@ pub fn run_release(dry_run: bool) -> Result<()> {
         run!("git push")?;
     }
 
-    let changelog_dir = project_root().join("../rust-analyzer.github.io/thisweek/_posts");
+    let website_root = project_root().join("../rust-analyzer.github.io");
+    let changelog_dir = website_root.join("/thisweek/_posts");
 
     let today = run!("date --iso")?;
     let commit = run!("git rev-parse HEAD")?;
@@ -195,5 +196,7 @@ Release: release:{}[]
     let path = changelog_dir.join(format!("{}-changelog-{}.adoc", today, changelog_n));
     fs::write(&path, &contents)?;
 
+    fs::copy(project_root().join("./docs/user/readme.adoc"), website_root.join("manual.adoc"))?;
+
     Ok(())
 }